Theorem AddSubmonoid.smul_bot

Modification history