Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Commit
2017-11-09 12:33
5923cd09
View on Github →
feat(data/set/finite): finite_of_finite_image
Estimated changes
Modified
data/set/finite.lean
added
theorem
set.finite_of_finite_image
Modified
logic/function.lean
added
theorem
function.inv_fun_comp