isocrystal): speed up the proof (#13644)

Commit

3 years ago

chore(ring_theory/witt_vector/isocrystal): speed up the proof (#13644) to remove a timeout in #13459

Author

yuma-mizuno

Parents