Theorem Function.Surjective.nonempty

Modification history

2022-10-25 00:59
Mathlib/Logic/Nonempty.lean
feat: Port Logic.Nonempty (#487) …
Added Function.Surjective.nonemptyView on Github →