mathlib
203ebb20 - feat(tactic/simp_rw): support `<-` in `simp_rw` (#2309)

Commit

6 years ago

feat(tactic/simp_rw): support `<-` in `simp_rw` (#2309) Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>

References

Author

Vierkantor

Parents