Theorem CategoryTheory.Functor.pi_ext

Modification history

2023-09-12 21:07
Mathlib/CategoryTheory/Pi/Basic.lean
style: a linter for colons (#6761) …
Modified CategoryTheory.Functor.pi_extView on Github →
2023-02-18 21:13
Mathlib/CategoryTheory/Pi/Basic.lean
chore: tidy various files (#2321)
Modified CategoryTheory.Functor.pi_extView on Github →
2023-02-15 04:55
Mathlib/CategoryTheory/Pi/Basic.lean
feat port/CategoryTheory.Pi.Basic (#2230)
Added CategoryTheory.Functor.pi_extView on Github →