mathlib
4c54cd82 - Fix parameter count

Commit
3 years ago
Fix parameter count
Author
Committer
Parents
Loading