Theorem Set.ncard_lt_ncard

Modification history