🔍 Selection Sort Invariant
Find the minimum, swap it to the front
Click "Next Step" to begin sorting.
📐 Loop Invariant: After iteration i, the subarray A[0...i] contains the i+1 smallest
elements in sorted order.
✓ Initial: No elements processed yet.