Merged.
Description
Description
Details
Details
- Provenance
"Eugene W. Stark <stark@cs.stonybrook.edu>" Authored on - Parents
- rAFP472cb2268826: New material on equivalence of bicategories, with associated changes.
rAFP5456b058dbbf: tuned structure formally - Branches
- Unknown
- Tags
Merged Changes
Merged Changes