Namespace `Ring` 1 theorems

Finite-type domains of transcendence degree ≤ 1 are dimension ≤ 1 Ring.DimensionLEOne.of_finiteType_of_trdeg_le_one 0 below · cited by 1 · depth 27

Documents the Lean sources in this repository (Lean v4.33.1, Mathlib v4.33.0). Statements are quoted textually from the .lean files; dependency edges are the import Theorems.Thm_… lines of the proof modules. About these pages.

Namespace Ring 1 theorems

Namespace `Ring` 1 theorems