Mathlib Changelog
v4
Changelog
About
Github
Commit
2025-10-31 03:25
912a3b5b
View on Github →
chore(Logic/IsEmpty): add
Function.Bijective.of_isEmpty
(
#31080
)
Estimated changes
Modified
Mathlib/Logic/IsEmpty.lean
added
theorem
Function.Bijective.of_isEmpty