Mathlib v3 is deprecated. Go to Mathlib v4

Inductive side

Modification history

2019-06-08 23:11
src/tactic/rewrite_all/basic.lean
feat(tactic/rewrite_all): tactic to perform the nth occurrence of a rewrite (#999) …
Added sideView on Github →