Theorem PreTilt.coeff_iterate_frobenius'

Modification history

2025-12-01 21:50
Mathlib/RingTheory/Perfection.lean
refactor(RingTheory/Perfection): add `PreTilt.coeff` (#32248) …
Added PreTilt.coeff_iterate_frobenius'View on Github →