Theorem Filter.HasBasis.to_subset

Modification history