Lab03 Selection Sort (part 2)
due by Monday, Feb 13, 2023
Before doing this assignment you will need to pull from the upstream repository, i.e., the course repository. Please complete the definitions/proofs in the file PnP2023/Labs/Lab03/SelectionSort.lean
. When you are done please commit and push your changes to your forked private repository and alert me on Zulip.

Complete the proof of
selectionSort_mem_of_mem
inPnP2023/Labs/Lab03/SelectionSort.lean
. 
Complete the proof of
selectionSort_mem_mem
inPnP2023/Labs/Lab03/SelectionSort.lean
. 
Complete the proof of
selectionSort_sorted
inPnP2023/Labs/Lab03/SelectionSort.lean
.