Theorem Filter.HasBasis.restrict_subset

Modification history