Skip to content

Add is_euclidean_type trait#1943

Draft
fingolfin wants to merge 2 commits intomasterfrom
mh/is_euclidean_type
Draft

Add is_euclidean_type trait#1943
fingolfin wants to merge 2 commits intomasterfrom
mh/is_euclidean_type

Commits

Commits on Dec 20, 2024