corrected the timeout for CZH_Universal_Constructions
Description
Description
Details
Details
- Provenance
user9716869 <user9716869@gmail.com> Authored on - Parents
- rAFPfee517746747: CZH: further results about comma categories and Kan extensions, a variety of…
- Branches
- Unknown
- Tags