Theorem RootPairing.root_chainTopIdx

Modification history