Theorem Filter.HasBasis.restrict

Modification history