Theorem Set.ncard_eq_two

Modification history