Theorem Polynomial.height_map_C

Modification history

2026-01-10 16:04
Mathlib/RingTheory/KrullDimension/Polynomial.lean
feat(RingTheory/KrullDimension): dimension of polynomial ring (#27542) …
Added Polynomial.height_map_CView on Github →