mathlib
1d0ed468 - Change error reporting of constructor arg naming rules

Commit

5 years ago

Change error reporting of constructor arg naming rules

Author

JLimperg

JLimperg

Committer

JLimperg

JLimperg

Parents

Loading