DenSinH/unimath-small-obj-arg
A UniMath formalization of Richard Garner's refinement of Quillen's small object argument
Coq
No issues in this repository yet.
A UniMath formalization of Richard Garner's refinement of Quillen's small object argument
Coq
No issues in this repository yet.