Zulip Chat Archive
Stream: general
Topic: single rw
Patrick Massot (Apr 23 2021 at 14:36):
Do we have a style guide about single rewrites in mathlib? I see rw [stuff] and I want to ask for rw stuff but I'm not sure whether we have a rule here.
Johan Commelin (Apr 23 2021 at 15:26):
I personally tend to not care about whether or not there are brackets.
Johan Commelin (Apr 23 2021 at 15:27):
To be more precise: I prefer that there is no rule.
Last updated: Aug 03 2023 at 10:10 UTC