Theorem RootPairing.Base.height_add_zsmul

Modification history