Theorem Nat.addSubmonoid_closure_one

Modification history