# Commit 2020-05-19 08:28 3ba7d128

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

Mathlib v3 is deprecated. Go to Mathlib v4

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