Theorem Submonoid.top_closure_mul_self_eq

Modification history