Theorem RootPairing.Base.span_coroot_support

Modification history