batteries icon indicating copy to clipboard operation
batteries copied to clipboard

Published 20 hours ago • verified publisher icon leanprover-community

Codify naming conventions

Open joehendrix opened this issue 8 months ago • 0 comments

As part of helping new users, we should codify naming conventions for theorems in the standard library.

Related discussions:

joehendrix avatar Oct 30 '23 23:10 joehendrix