Theorem RootPairing.disjoint_rootSpan_ker_polarization

Modification history