Theorem Int.addSubmonoid_closure_range_mul_self

Modification history