Zulip Chat Archive Stream: mathlib4 Topic: Task 24: lowerCamelCase foreign names Yaël Dillies (Apr 22 2025 at 18:52): A first PR: #24292 Last updated: May 02 2025 at 03:31 UTC