Theorem CoxeterSystem.subgroup_closure_range_simple

Modification history