Theorem ModuleFilterBasis.smul_right

Modification history