mathlib
1cfbcc63 - feat(algebra/ring/ulift): add a `field` instance (#12141)

Commit

4 years ago

feat(algebra/ring/ulift): add a `field` instance (#12141)

Author

ericrbg

ericrbg

Parents

Loading