Mathlib v3 is deprecated. Go to Mathlib v4

Structure F

Modification history

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