Theorem Function.Bijective.of_isEmpty

Modification history

2026-02-13 18:17
Mathlib/Logic/IsEmpty.lean
chore(Logic/IsEmpty): split file into `Defs` and `Basic` (#35137) …
Modified Function.Bijective.of_isEmptyView on Github →
2026-01-29 16:43
Mathlib/Logic/IsEmpty.lean
feat(Logic/IsEmpty): add theorems relating surjectivity and emptiness (#33475) …
Modified Function.Bijective.of_isEmptyView on Github →
2025-10-31 03:25
Mathlib/Logic/IsEmpty.lean
chore(Logic/IsEmpty): add `Function.Bijective.of_isEmpty` (#31080)
Added Function.Bijective.of_isEmptyView on Github →