## Stream: general

### Topic: simp arguments priority

#### Johan Commelin (Feb 03 2020 at 07:47):

If I give explicit arguments to simp, as in simp [foobar], I would expect foobar to get a rather high priority. Does something like this happen.

Last updated: May 16 2021 at 05:21 UTC