Theorem CoxeterSystem.isLeftInversion_of_mem_leftInvSeq

Modification history