Theorem Submonoid.smul_bot

Modification history