naming convention for defs

Stream: general

[Kenny Lau]

How do I name definitions (i.e. constructions)? For theorems, since proofs are irrelevant, we just name them by their types. Do we have some guidelines for naming definitions? Presumably we name them for their "purpose"

[Kenny Lau]

@Johan Commelin

[Johan Commelin]

I think it really depends on the situation. But I agree that naming them for "purpose" is a good start. Otoh, if the thing is "canonical" then you might fall back to "naming by type".
That's my two grains of salt (-;