Theorem AddSubmonoid.pow_eq_closure_pow_set

Modification history