Theorem Set.finite_of_encard_eq_coe

Modification history