Def RootPairing.Equiv.indexHom

Modification history