Theorem AddSubmonoid.closure_pow

Modification history