Theorem RootPairing.linearIndependent_of_sub_mem_range_root

Modification history