mathlib
f7dac5ea - feat(logic/basic): add `auto_param.out` and `opt_param.out` (#13599)

Commit

3 years ago

feat(logic/basic): add `auto_param.out` and `opt_param.out` (#13599)

Author

urkud

urkud

Parents

Loading