Theorem RootPairing.IsReduced.linearIndependent

Modification history