Theorem CoxeterSystem.isReflection_of_mem_leftInvSeq

Modification history