fix: `sharecommon` This PR fixes a bug in the `sharecommon` module, which was returning incorrect results for objects that had already been processed by `sharecommon`. See the new test for an example that triggered the bug.
This is the repository for Lean 4.
See Setting Up Lean.
Please read our Contribution Guidelines first.
See Building Lean (documentation source: doc/make/index.md).