Theorem Set.encard_eq_coe_toFinset_card

Modification history