search

leanprover-community / leanprover-community.github.io

Hosts the website for mathlib and other Lean community infrastructure.
https://leanprover-community.github.io/
MIT License
54 stars 123 forks source link

Explain the predicates as suffixes convention #539

Closed YaelDillies closed 4 weeks ago

YaelDillies commented 1 month ago

This convention was widely applied but not written down apart from the special case of Injective.