Theorem Submonoid.pointwise_central_scalar

Modification history