Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Commit
2019-01-10 09:46
8b66ebde
View on Github →
functions and cardinality (
#556
)
Estimated changes
Modified
data/set/countable.lean
added
theorem
set.countable_of_injective_of_countable_image
Modified
data/set/finite.lean
added
theorem
set.finite_subsets_of_finite
Modified
data/set/function.lean
added
theorem
set.inv_fun_on_image
added
theorem
set.maps_to'
added
theorem
set.maps_to_image
added
theorem
set.maps_to_range