Theorem RootPairing.orthogonal_rootSpan_eq

Modification history