chapter AFP
session Bicategory (slow) = MonoidalCategory +
options [timeout = 10800, names_unique = false]
theories
BicategoryOfSpans Modification CatBicat
document_files
"root.bib"
"root.tex"
"triangle_right_implies_left.png"
¤ Dauer der Verarbeitung: 0.1 Sekunden
¤
*© Formatika GbR, Deutschland
