Def CategoryTheory.Functor.FullyFaithful.compYonedaCompWhiskeringLeftMaxRight

Modification history

2024-11-02 10:16
Mathlib/CategoryTheory/Yoneda.lean
feat: even more natural versions of `FullyFaithful.homEquiv` (#18524) …
Added CategoryTheory.Functor.FullyFaithful.compYonedaCompWhiskeringLeftMaxRightView on Github →