Theorem RootPairing.corootSpan_map_toDualRight

Modification history