mathlib3
84b27545
- feat(algebra/field/opposite): Missing instances (#16564)
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
3 years ago
feat(algebra/field/opposite): Missing instances (#16564) A few missing field-like instances for `mul_opposite` and `add_opposite`.
Author
YaelDillies
Parents
aae2a82f
Loading