I was tasked to prove the correctness of the algorithm that I will make to find the index of the smallest element in an array. I want to know if my process is correct. Any feedb
