Zulip Chat Archive
Stream: mathlib4
Topic: naming
Scott Morrison (Aug 03 2023 at 05:19):
Should it be range_eq_top_of_surjective or range_top_of_surjective? We have several of both variants, depending on the algebraic structure at hand. I would like to make these uniform.
Yaël Dillies (Aug 03 2023 at 05:40):
The first, I'd say
Last updated: May 02 2025 at 03:31 UTC