Zulip Chat Archive

Stream: PR reviews

Topic: Rename and small lemma

Winston Yin (尹維晨) (Jan 21 2024 at 20:46):

Couple quick-to-review PRs:

#9802 renames StructureGroupoid.eq_on_source to StructureGroupoid.mem_of_eqOnSource
#9827 (dependent on ^) adds an iff variant of StructureGroupoid.mem_of_eqOnSource and some docstring.

Last updated: May 02 2025 at 03:31 UTC