Theorem RootPairing.Base.cartanMatrix_apply_eq_zero_iff_symm

Modification history