Theorem AddSubmonoid.mem_one

Modification history