P
Initializing...
Regularity at a valuation ring whose differentials are all multiples of a single $du$ · Prove2Me