Theorem RootPairing.Base.height_eq_sum

Modification history