Theorem Int.addSubmonoid_closure_range_pow

Modification history