Theorem RootPairing.disjoint_rootSpan_ker_rootForm

Modification history