mathlib
851e83ec - feat(category_theory): colimits for pi categories (#4054)

Commit

5 years ago

feat(category_theory): colimits for pi categories (#4054)

References

#4925 - Make prime-avoidance branch build

Author

cipher1024

cipher1024

Parents

Loading