chapter AFP
session MonoidalCategory = Category3 +
options [timeout = 3600, names_unique = false]
theories
FreeMonoidalCategory CartesianMonoidalCategory
document_files
"root.bib"
"root.tex"
¤ Dauer der Verarbeitung: 0.6 Sekunden
(vorverarbeitet am 2026-06-13)
¤
*© Formatika GbR, Deutschland