Theorem PreTilt.coeff_def

Modification history

2025-12-01 21:50

Mathlib/RingTheory/Perfection.lean

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

Added PreTilt.coeff_def View on Github →