Theorem CoxeterSystem.lift_apply_simple

Modification history