EuclideanKategory3Scope

constructor(numberRing: A, numberOrder: Order<N>, euclideanKategory: E)(source)