Theorem RootPairing.Base.span_int_coroot_support

Modification history