Def CategoryTheory.Functor.pi'CompEval

Modification history

2023-12-07 16:10

Mathlib/CategoryTheory/Pi/Basic.lean

feat(CategoryTheory): more API for product categories (#8865) …

Added CategoryTheory.Functor.pi'CompEval View on Github →