euclideanKategory

fun <N> Ring<N>.euclideanKategory(vectorKategory: VectorKategory<N> = vectorKategory()): EuclideanKategory<N>(source)