mathlib
d097161b - fix(tactic/set): use provided type for new variable (#3126)

Commit

6 years ago

fix(tactic/set): use provided type for new variable (#3126) closes #3111 Co-authored-by: Rob Lewis <rob.y.lewis@gmail.com>

Author

robertylewis

Parents