mathlib
7545909c - chore(logic/function): allow `Sort*` in `function.inv_fun` (#10526)

Commit

4 years ago

chore(logic/function): allow `Sort*` in `function.inv_fun` (#10526)

Author

urkud

urkud

Parents

Loading