Porting note: change `rw` to `erw`
pitmonticone opened this issue · comments
Pietro Monticone commented
Classifies porting notes claiming:
change
rw
toerw
Examples
mathlib4/Mathlib/AlgebraicGeometry/Pullbacks.lean
Lines 269 to 282 in ee3a8f2
mathlib4/Mathlib/Geometry/RingedSpace/LocallyRingedSpace/HasColimits.lean
Lines 216 to 227 in ee3a8f2