Theorem RootPairing.corootSpan_ne_bot

Modification history