Theorem RootPairing.isOrthogonal_symm

Modification history