Theorem RootPairing.Equiv.weightEquiv_inv

Modification history