Document that shortest_vector() returns exact SVP solutions#41266

Himanshu21035 wants to merge 1 commit intosagemath:developsagemath/sage:developfrom

Himanshu21035:patch-1Himanshu21035/sage:patch-1Copy head branch name to clipboard