Theorem RootPairing.exists_ge_zero_eq_rootForm

Modification history