Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Commit
2022-04-17 15:18
e6322c6a
View on Github →
feat(analysis/convex): golf some proofs (
#13451
)
Estimated changes
Modified
src/algebra/order/smul.lean
Modified
src/analysis/convex/extrema.lean
Modified
src/analysis/convex/topology.lean
Modified
src/data/real/cardinality.lean
Modified
src/data/set/intervals/image_preimage.lean
deleted
theorem
set.image_inv_Ioo_0_left
added
theorem
set.inv_Ioi
added
theorem
set.inv_Ioo_0_left
Modified
src/linear_algebra/affine_space/affine_map.lean
added
theorem
affine_map.homothety_mul_apply