Theorem CategoryTheory.Adjunction.map_comp_bijective_iff

Modification history

2026-03-16 11:24
Mathlib/CategoryTheory/Adjunction/Basic.lean
refactor(CategoryTheory/Sites): remove universe parameter from `Functor.IsContinuous` (#36459) …
Added CategoryTheory.Adjunction.map_comp_bijective_iffView on Github →