• Solutions_S01_Calculating.lean -rw-r--r-- 768 bytes
• Solutions_S02_Proving_Identities_in_Algebraic_Structures.lean -rw-r--r-- 2054 bytes
• Solutions_S03_Using_Theorems_and_Lemmas.lean -rw-r--r-- 1639 bytes
• Solutions_S04_More_on_Order_and_Divisibility.lean -rw-r--r-- 2526 bytes
• Solutions_S05_Proving_Facts_about_Algebraic_Structures.lean -rw-r--r-- 3268 bytes