Theorem RootPairing.rootSpan_ne_bot

Modification history