Theorem CoxeterSystem.isReflection_conj_iff

Modification history