Theorem Set.Finite.encard_eq_coe_toFinset_card

Modification history