Theorem Submonoid.top_closure_mul_self_subset

Modification history