mathlib
bd69b63a
- Move tactic.type_based_naming to tactic.induction.type_based_naming
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
5 years ago
Move tactic.type_based_naming to tactic.induction.type_based_naming
Author
JLimperg
Committer
JLimperg
Parents
aadf7c35
Loading
mathlib
bd69b63a - Move tactic.type_based_naming to tactic.induction.type_based_naming
