Theorem GroupFilterBasis.prod_subset_self

Modification history