Def PreTilt.coeff

Modification history

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