Instances for Euclidean domains

• Field.toEuclideanDomain: shows that any field is a Euclidean domain.

@[instance 100]

instance Field.toEuclideanDomain {K : Type u_1} [Field K] : EuclideanDomain K

Equations

• One or more equations did not get rendered due to their size.