Theorem RootPairing.Base.isPos_iff'

Modification history