Theorem Filter.iInf_sets_eq_finite

Modification history