Theorem RootPairing.Base.span_int_root_support

Modification history