euclideanKategory4

fun <N> Ring<N>.euclideanKategory4(vectorKategory: VectorKategory<N> = vectorKategory()): EuclideanKategory4<N>(source)