Theorem CoxeterSystem.isLeftInversion_inv_iff

Modification history