Theorem Set.ncard_le_ncard_of_injOn

Modification history