Theorem Set.ncard_empty

Modification history