Theorem RootPairing.disjoint_corootSpan_ker_corootForm

Modification history