Theorem PreTilt.untilt_iterate_frobeniusEquiv_symm_pow

Modification history

2025-11-11 15:04
Mathlib/RingTheory/Perfectoid/Untilt.lean
feat(RingTheory/Perfection): lemmas for `frobeniusEquiv.symm` (#26386) …
Added PreTilt.untilt_iterate_frobeniusEquiv_symm_powView on Github →