Theorem Set.Finite.encard_lt_top

Modification history