mathlib
3ae893dc - fix(tactic/simps): do not reach unreachable code (#3637)

Commit

5 years ago

fix(tactic/simps): do not reach unreachable code (#3637) Fixes #3636

Author

TwoFX

TwoFX

Parents

Loading