Theorem RootPairing.EmbeddedG2.allRoots_subset_range_root

Modification history