Def CategoryTheory.Pi.evalCompEqToEquivalenceFunctor

Modification history

2023-12-07 16:10
Mathlib/CategoryTheory/Pi/Basic.lean
feat(CategoryTheory): more API for product categories (#8865) …
Added CategoryTheory.Pi.evalCompEqToEquivalenceFunctorView on Github →