Loading paper
Diophantine inequality for equicharacteristic excellent Henselian local domains | Tomesphere