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.

Estimated changes