Theorem Rat.addSubmonoid_closure_range_mul_self

Modification history