Theorem Filter.HasBasis.prod_same_index_anti

Modification history