Theorem RootPairing.Base.exists_eq_sum_and_forall_sum_mem_of_isPos

Modification history