Theorem Filter.nontrivial_iff_nonempty

Modification history