Theorem GroupAlgebra.mul_average_right

Modification history