Theorem Filter.HasBasis.prod_self

Modification history