Update change history.
Description
Description
Details
Details
- Provenance
"Eugene W. Stark <stark@cs.stonybrook.edu>" Authored on - Parents
- rAFPa51840d36867: Move ConcreteCategory.thy from Bicategory to Category3 and use it…
- Branches
- Unknown
- Tags
Update change history. Tags None Subscribers None
Description
Details
|