Theorem PreTilt.coeff_frobenius

Modification history

2025-11-11 15:04

Mathlib/RingTheory/Perfection.lean

feat(RingTheory/Perfection): lemmas for `frobeniusEquiv.symm` (#26386) …

Added PreTilt.coeff_frobenius View on Github →