mathlib
3ba7d128 - feat(algebra): obtaining algebraic classes through in/surjective maps (#2638)

Commit

6 years ago

feat(algebra): obtaining algebraic classes through in/surjective maps (#2638) This is needed for the definition of Witt vectors.

Author

jcommelin

Parents