Theorem RootPairing.isOrthogonal_iff_pairing_eq_zero

Modification history