mathlib

mathlib copied to clipboard

It would be nice if someone who understands the exact meaning of all these (greek letter)-expansion will briefly describe the meaning of these suffixes in docs/contribute/naming.md for those who (like me) don't remember what each letter means. E.g., a table of what these lemmas should mean for some simple type (prod? sigma?) would help.