Theorem RootPairing.isAnisotropic_of_isValuedIn

Modification history