Theorem Set.preimage_subtype_coe_eq_compl

Modification history