mathlib3
fef8efdf - feat(category_theory): coseparators in structured_arrow (#15981)

Commit

3 years ago

feat(category_theory): coseparators in structured_arrow (#15981) Hopefully the last preliminary PR for the Special Adjoint Functor Theorem.

Author

TwoFX

Parents