mathlib
f8543711 - feat(tactic/squeeze_simp): better handling of private declarations (#1498)

Commit

6 years ago

feat(tactic/squeeze_simp): better handling of private declarations (#1498) * feat(tactic/squeeze_simp): better handling of private declarations * Update core.lean

References

#1498 - feat(tactic/squeeze_simp): better handling of private declarations

Author

cipher1024

Committer

mergify[bot]

Parents

4ca1e634

mathlib f8543711 - feat(tactic/squeeze_simp): better handling of private declarations (#1498)

mathlib
f8543711 - feat(tactic/squeeze_simp): better handling of private declarations (#1498)