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: Dec 20 2023 at 11:08 UTC