Theorem Rep.homEquiv_symm_apply_hom

Modification history