Theorem Set.ncard_eq_succ

Modification history