Def CategoryTheory.Pi.comapId

Modification history

2023-02-18 21:13

Mathlib/CategoryTheory/Pi/Basic.lean

chore: tidy various files (#2321)

Modified CategoryTheory.Pi.comapId View on Github →

2023-02-15 04:55

Mathlib/CategoryTheory/Pi/Basic.lean

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

Added CategoryTheory.Pi.comapId View on Github →