Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-12-03 12:03 f1531ea5

View on Github →

feat(ring_theory/witt_vector): witt_sub, a demonstration of is_poly techniques (#5165) Co-Authored-By: Rob Y. Lewis rob.y.lewis@gmail.com

Estimated changes