mathlib
9fe2fcaa
- Better docs for 'Prop' constructor arg naming rule
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
5 years ago
Better docs for 'Prop' constructor arg naming rule
Author
JLimperg
Committer
JLimperg
Parents
1d0ed468
Loading
