Theorem mv_polynomial.vars_X
Modification history
2020-09-25 16:57
src/data/mv_polynomial/variables.lean
feat(ring_theory/witt_vector/witt_polynomial): definition and basic properties (#4236) …
Modified mv_polynomial.vars_XView on Github →2020-09-22 14:52
src/data/mv_polynomial/variables.lean
chore(data/mv_polynomial): Rename variables (#4208) …
Modified mv_polynomial.vars_XView on Github →