Theorem Set.card_ne_eq

Modification history