Theorem CoxeterSystem.isReflection_of_mem_rightInvSeq

Modification history