mathlib3
aaf18fb6
- Revert "minor edits"
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
4 years ago
Revert "minor edits" This reverts commit cd8ac0ceeda4fed6b61d857b7d8e4a190236822c.
References
arrow_categories
Author
JakobScholbach
Parents
cd8ac0ce
Loading
