Theorem RootPairing.Base.span_root_support

Modification history