Theorem RootPairing.corootSpan_map_flip_toPerfPair

Modification history