Theorem Equiv.coe_subtypeEquiv_eq_map

Modification history