Theorem Function.Surjective.isEmpty

Modification history

2026-02-13 18:17
Mathlib/Logic/IsEmpty.lean
chore(Logic/IsEmpty): split file into `Defs` and `Basic` (#35137) …
Modified Function.Surjective.isEmptyView on Github →
2024-03-24 17:50
Mathlib/Logic/IsEmpty.lean
feat(Logic/IsEmpty): add instances for `Quot` and `Quotient` (#11616)
Added Function.Surjective.isEmptyView on Github →