Mathlib v3 is deprecated. Go to Mathlib v4

Theorem category_theory.nat_trans.epi_iff_epi_app

Modification history

2022-08-27 21:53
src/category_theory/adjunction/evaluation.lean
chore(category_theory): fix name of mono_app_of_mono (#16275) …
Added category_theory.nat_trans.epi_iff_epi_appView on Github →