Theorem RootPairing.one_le_chainBotCoeff_of_root_add_mem

Modification history