Theorem CoxeterSystem.submonoid_closure_range_simple

Modification history