mathlib
51f76d05
- feat(tactic/linear_combination): add parser for `h / a` (#15284)
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
3 years ago
feat(tactic/linear_combination): add parser for `h / a` (#15284) As reported during LFTCM 2022.
Author
digama0
Parents
be53c7cb
Loading