Theorem RootPairing.Equiv.coweightEquiv_inv

Modification history