Theorem RootPairing.Equiv.coweightHom_op

Modification history