Theorem AddSubmonoid.closure_mul_closure

Modification history