39f9a32997 · Add y-axis decimal ticks so the subspace-figure axis title fits · Updated 2026-07-28 21:53:54 +09:00
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?