Theorem RootPairing.Base.IsPos.neg_iff_not

Modification history