Mathlib Changelog
v4
Changelog
About
Github
Def
CategoryTheory.Pi.comapComp
Modification history
2023-02-18 21:13
Mathlib/CategoryTheory/Pi/Basic.lean
chore: tidy various files (#2321)
Modified
CategoryTheory.Pi.comapComp
View on Github →
2023-02-15 04:55
Mathlib/CategoryTheory/Pi/Basic.lean
feat port/CategoryTheory.Pi.Basic (#2230)
Added
CategoryTheory.Pi.comapComp
View on Github →