Theorem RootPairing.InvariantForm.isOrthogonal_iff_pairing_eq_zero

Modification history