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: Dec 20 2025 at 21:32 UTC