Theorem RootPairing.Base.IsPos.add_zsmul

Modification history