Theorem Set.encard_le_encard

Modification history