Move ConcreteCategory.thy from Bicategory to Category3 and use it systematically. Make other minor improvements throughout.
Description
Description
Details
Details
- Provenance
"Eugene W. Stark <stark@cs.stonybrook.edu>" Authored on - Parents
- rAFP0a8ecf7a601e: fixed broken proofs
- Branches
- Unknown
- Tags