Theorem Filter.HasBasis.specializes_iff_uniformity

Modification history