Theorem RootPairing.root_sub_nsmul_mem_range_iff_le_chainBotCoeff

Modification history