Theorem RootPairing.rootSpan_map_toPerfPair

Modification history