Theorem Set.Finite.exists_encard_eq_coe

Modification history