Theorem RootPairing.Base.exists_root_eq_sum_int

Modification history