mathlib
2c40bd3f - feat(tactic/push_cast): take list of extra simp lemmas (#2825)

Commit

6 years ago

feat(tactic/push_cast): take list of extra simp lemmas (#2825) closes #2783 Co-authored-by: Rob Lewis <rob.y.lewis@gmail.com>

Author

robertylewis

Parents