Theorem Polynomial.height_eq_height_add_one

Modification history

2026-01-10 16:04

Mathlib/RingTheory/KrullDimension/Polynomial.lean

feat(RingTheory/KrullDimension): dimension of polynomial ring (#27542) …

Added Polynomial.height_eq_height_add_one View on Github →