Theorem CategoryTheory.Functor.pi'_eval

Modification history

2025-09-06 06:21
Mathlib/CategoryTheory/Pi/Basic.lean
chore(CategoryTheory): golf entire `preinclusion_map₂`, `mapForget_eq`, `uSwitch_map_uSwitch_map` and more using `rfl` (#28559)
Modified CategoryTheory.Functor.pi'_evalView on Github →
2023-07-19 05:37
Mathlib/CategoryTheory/Pi/Basic.lean
chore: cleanup whitespace (#5988) …
Modified CategoryTheory.Functor.pi'_evalView on Github →
2023-02-15 04:55
Mathlib/CategoryTheory/Pi/Basic.lean
feat port/CategoryTheory.Pi.Basic (#2230)
Added CategoryTheory.Functor.pi'_evalView on Github →