Theorem Set.encard_le_encard_of_injOn

Modification history