Similar to 微分環

Rational variety

Discrete valuation

Lüroth's theorem

Levi-Civita field