Theorem RootPairing.rootSpan_map_toDualLeft

Modification history