Theorem RootPairing.Base.induction_on_cartanMatrix

Modification history