search

leanprover-community / mathport

Mathport is a tool for porting Lean3 projects to Lean4
Apache License 2.0
43 stars 15 forks source link

feat: increment occurrences in nth_rewrite #207

Closed kim-em closed 1 year ago

kim-em commented 1 year ago

Per https://github.com/leanprover-community/mathlib4/pull/823.