Theorem Set.ncard_eq_three

Modification history