Mathlib v3 is deprecated. Go to Mathlib v4

Def witt_vector.teichmuller

Modification history

2022-03-11 23:40
src/ring_theory/witt_vector/teichmuller.lean
chore(*): update to 3.41.0c (#12591)
Added witt_vector.teichmullerView on Github →