Home Up Previous Next Random Flashcard
The compact closed category \(\ref{Correl as CCC|\textbf{Corel|referenced}}\) is a ?prop.