mathlib
0cbfbabb - refactor(logic/function): inv_fun takes a nonempty instance instead of inhabited (#2148)

Commit

6 years ago

refactor(logic/function): inv_fun takes a nonempty instance instead of inhabited (#2148) Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>

References

#2148 - refactor(logic/function): inv_fun takes a nonempty instance instead of inhabited

Author

ChrisHughes24

Parents

b314df2e

mathlib 0cbfbabb - refactor(logic/function): inv_fun takes a nonempty instance instead of inhabited (#2148)

mathlib
0cbfbabb - refactor(logic/function): inv_fun takes a nonempty instance instead of inhabited (#2148)