Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Theorem
Mon.colimits.cocone_naturality_components
Modification history
2019-07-05 05:02
src/algebra/Mon/colimits.lean
chore(category_theory): cleanup (#1173) …
Modified
Mon.colimits.cocone_naturality_components
View on Github →
2019-07-03 00:58
src/algebra/Mon/colimits.lean
feat(measure_theory): Define Bochner integration (#1149) …
Modified
Mon.colimits.cocone_naturality_components
View on Github →
2019-05-31 06:43
src/algebra/Mon/colimits.lean
chore(category_theory): move all instances (e.g. Top, CommRing, Meas) into the root namespace (#1074) …
Added
Mon.colimits.cocone_naturality_components
View on Github →