mathlib
8b679d98 - fix(tactic/squeeze): make suggestion at correct location (#2279)

Commit

6 years ago

fix(tactic/squeeze): make suggestion at correct location (#2279) Fixes #2267. Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>

References

#2279 - fix(tactic/squeeze): make suggestion at correct location

Author

gebner

Parents

38544f14

mathlib 8b679d98 - fix(tactic/squeeze): make suggestion at correct location (#2279)

mathlib
8b679d98 - fix(tactic/squeeze): make suggestion at correct location (#2279)