Theorem Set.finite_of_encard_le_coe

Modification history