Theorem Submonoid.pointwise_isCentralScalar

Modification history