Theorem RootPairing.Base.height_sub

Modification history