mathlib3
1ec0a1f4 - fix(tactic/linarith): correctly parse 0*0
Commit
View On GitHub
Commit
6 years ago
fix(tactic/linarith): correctly parse 0*0
Author
robertylewis robertylewis
Parents
581cf19b
FAQ Terms Privacy Refunds Impressum
Loading