Theorem PreTilt.coeff_pow_p

Modification history

2025-12-01 21:50

Mathlib/RingTheory/Perfection.lean

refactor(RingTheory/Perfection): add `PreTilt.coeff` (#32248) …

Added PreTilt.coeff_pow_p View on Github →