Theorem AddSubmonoid.nat_cast_mem_one

Modification history