Theorem RootPairing.Base.isPos_iff

Modification history