euclideanKategory3

fun <N> Ring<N>.euclideanKategory3(vectorKategory: VectorKategory<N> = vectorKategory()): EuclideanKategory3<N>(source)