mathlib3
ecdc3197 - fix(tactic/simpa): reflect more simp errors (#4865)

Commit

5 years ago

fix(tactic/simpa): reflect more simp errors (#4865) fixes #2061

References

#4925 - Make prime-avoidance branch build

Author

digama0

digama0

Parents

Loading