Theorem Set.Finite.finite_of_encard_le

Modification history