Theorem Set.nonempty_of_ncard_ne_zero

Modification history