Theorem RootPairing.Base.exists_root_eq_sum_nat_or_neg

Modification history