Theorem AddSubmonoid.smul_sup

Modification history