mathlib
c82fab81 - feat(category_theory/adjunction): the Special Adjoint Functor Theorem (#15987)

Commit

3 years ago

feat(category_theory/adjunction): the Special Adjoint Functor Theorem (#15987)

Author

TwoFX

TwoFX

Parents

Loading