Theorem Equiv.coe_subtypeEquivCodomain

Modification history