mathlib
c432be59
- simpler test
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
3 years ago
simpler test
References
adomani_yael_lift
#17869 - feat(tactic/lift): prevent `lift` from failing if goal contains the hypothesis used to `lift`
Author
adomani
Parents
1dfdc6c5
Loading
