Theorem RootPairing.InvariantForm.pairing_zero_iff

Modification history