Commit 2024-01-24 10:06 46e6944e
View on Github →chore: rename StructureGroupoid.eq_on_source' to StructureGroupoid.mem_of_eqOnSource' (#9802)
Since it refers to PartialEquiv.EqOnSource, the correct naming scheme should not be snake case eq_on_source. I also added mem_of_ because that's the target of the lemma, while EqOnSource is just a hypothesis.
There are no added lemmas or docstrings in this PR. It's all just renaming.