Theorem Nat.addSubmonoidClosure_one

Modification history