Zulip Chat Archive
Stream: mathlib4
Topic: mathport clashes
Daniel Selsam (Aug 21 2021 at 23:42):
Here is a list of all non-def-eq-compatible name clashes. Note that some mathlib declarations clash with other mathlib declarations due to capitalizations. clashes-3226fdec8cd76be373efe918857b6f5125a87158.txt
Last updated: May 02 2025 at 03:31 UTC