Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-07-28 04:11 d3b1dbee

View on Github →

chore(category_theory/adjunction): fix a typo (#15720)

Estimated changes

Modified src/category_theory/adjunction/comma.lean

added def category_theory.is_left_adjoint_of_costructured_arrow_terminals

deleted def category_theory.is_right_adjoint_of_costructured_arrow_terminals