Theorem Set.two_lt_ncard

Modification history