• Solutions_S01_Calculating.lean -rw-r--r-- 782 bytes
• Solutions_S02_Proving_Identities_in_Algebraic_Structures.lean -rw-r--r-- 2061 bytes
• Solutions_S03_Using_Theorems_and_Lemmas.lean -rw-r--r-- 1713 bytes
• Solutions_S04_More_on_Order_and_Divisibility.lean -rw-r--r-- 2493 bytes
• Solutions_S05_Proving_Facts_about_Algebraic_Structures.lean -rw-r--r-- 3271 bytes