EuclideanDivisionResult
@Serializable
Wrapper class for a result of Euclidean division (a.k.a. a division with remainder). See EuclideanSemiring's or EuclideanRing's docs for more.
Wrapper class for a result of Euclidean division (a.k.a. a division with remainder). See EuclideanSemiring's or EuclideanRing's docs for more.