chore: replace dist 1 = norm
by dist 1 a = ‖a‖
#21340
Open
YaelDillies wants to merge 3 commits intomasterfrom dist_one_left
+6-4
Commits
Commits on Feb 2, 2025
- committed
- committed
- committed
dist 1 = norm
by dist 1 a = ‖a‖
#21340