Commit 2026-10-27 22:35 9ecce232
View on Github →chore: rename check_title_labels in kebap-case (#44306) This matches general conventions for such tools, as discussed on Zulip: https://leanprover.zulipchat.com/#narrow/channel/287929-mathlib4/topic/Naming.20convention/near/451072858