Theorem RootPairing.Equiv.indexEquiv_inv

Modification history