Theorem CoxeterSystem.simple_determines_coxeterSystem

Modification history