Theorem RootPairing.Base.height_ne_zero

Modification history