Theorem RootPairing.Base.height_add

Modification history