Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Commit
2020-09-30 16:47
a06c87ed
View on Github →
chore(*): Tidy some proofs and variables (
#4338
)
Estimated changes
Modified
src/algebra/free_algebra.lean
modified
theorem
free_algebra.hom_ext
modified
def
free_algebra.lift
modified
theorem
free_algebra.lift_comp_ι
modified
theorem
free_algebra.lift_unique
modified
theorem
free_algebra.lift_ι_apply
modified
theorem
free_algebra.ι_comp_lift
Modified
src/data/monoid_algebra.lean