Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Commit
2019-01-28 08:02
7199bb36
View on Github →
chore(linear_algebra/dimension): simplify dim_add_le_dim_add_dim
Estimated changes
Modified
src/linear_algebra/dimension.lean
Modified
src/measure_theory/integration.lean
added
theorem
measure_theory.simple_func.add_apply
Modified
src/topology/instances/ennreal.lean