Theorem Set.ncard_le_ncard_iff_ncard_diff_le_ncard_diff

Modification history