mathlib3
3e0dd193 - feat(category_theory): compute subobjects of structured arrows (#15912)

Commit

3 years ago

feat(category_theory): compute subobjects of structured arrows (#15912) One step closer to the Special Adjoint Functor Theorem.

Author

TwoFX

Parents