Theorem Submonoid.smul_sup

Modification history