Theorem AddSubmonoid.mul_eq_closure_mul_set

Modification history