Theorem Filter.infᵢ_sets_eq_finite'

Modification history