Theorem AddSubmonoid.natCast_mem_one

Modification history