Theorem RootPairing.Base.pos_of_sum_smul_sub_mem_range_root

Modification history