mathlib
c434de12
- Try a `has_id` class too
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
4 years ago
Try a `has_id` class too
References
bundled-refl-symm-trans
Author
Vierkantor
Parents
b23731f7
Loading