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
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