Theorem RootPairing.Base.height_one_of_mem_support

Modification history