Theorem Equiv.subtypeEquivCodomain_symm_apply_eq

Modification history