fix: tolerate missing `simp` and `simproc` sets When we declare a `simp` set using `register_simp_attr`, we automatically create `simproc` set. However, users may create `simp` sets programmatically, and the associated `simproc` set may be missing and vice-versa.
This is the repository for Lean 4.
See Setting Up Lean.
Please read our Contribution Guidelines first.
See Building Lean.