Theorem Set.ncard_eq_zero

Modification history