Theorem GroupFilterBasis.subset_mul_self

Modification history