Theorem Filter.HasBasis.lift'_closure

Modification history