Theorem RootPairing.Base.cartanMatrix_apply_eq_zero_iff_pairing

Modification history