mathlib
26f27846 - Import tactic.core instead of tactic.basic
Commit
View On GitHub
Commit
5 years ago
Import tactic.core instead of tactic.basic
Author
JLimperg JLimperg
Committer
JLimperg JLimperg
Parents
0f86b2c2
FAQ Terms Privacy Refunds Impressum
Loading