Theorem RootPairing.Base.linearIndependent_pair_of_ne

Modification history