Theorem Set.coe_eq_subtype

Modification history