Theorem RootPairing.Base.pos_or_neg_of_sum_smul_root_mem

Modification history