Theorem RootPairing.isCompl_rootSpan_ker_rootForm

Modification history