chore(ring_theory/witt_vector/isocrystal): speed up the proof (#13644)
chore(ring_theory/witt_vector/isocrystal): speed up the proof (#13644)

to remove a timeout in #13459





leanprover-community/mathlib,leanprover-community/mathlib