mathlib3
6e0d0fa4 - chore(algebra/field): use `K` as a type variable (#5535)

Commit

4 years ago

chore(algebra/field): use `K` as a type variable (#5535)

Author

urkud

urkud

Parents

Loading