Mathlib Changelog
v4
Changelog
About
Github
Theorem
nonempty_fun
Modification history
2024-01-12 06:00
Mathlib/Logic/IsEmpty.lean
feat(Cardinal): `#(α ≃ β)` and `#(α ↪ β)` in the infinite case (#9646) …
Added
nonempty_fun
View on Github →