Def CategoryTheory.Functor.pi

Modification history

2023-02-18 21:13

Mathlib/CategoryTheory/Pi/Basic.lean

chore: tidy various files (#2321)

Modified CategoryTheory.Functor.pi View on Github →

2023-02-15 04:55

Mathlib/CategoryTheory/Pi/Basic.lean

feat port/CategoryTheory.Pi.Basic (#2230)

Added CategoryTheory.Functor.pi View on Github →