mathlib
52adfd73 - feat(tactic,tactic/interactive): add set tactic, a variant of let
Commit
6 years ago
Author
Parents