Theorem Filter.HasBasis.prod_same_index

Modification history