Theorem Filter.HasBasis.lift

Modification history