Isomorphism Loci and Coherence in Equivalence Extension

Contributed by Zhenyu Sun

Source files

Download source .zip

Back to the main record