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: Feb 28 2026 at 14:05 UTC