Theorem Equiv.coe_subtypeEquivCodomain_symm

Modification history