Theorem RootPairing.EmbeddedG2.allRoots_eq_map_allCoeffs

Modification history