Theorem RootPairing.Base.exists_coroot_eq_sum_int

Modification history