Theorem Rep.homEquiv_apply_hom

Modification history