• solutions_01_Calculating.lean -rw-r--r-- 762 bytes
• solutions_02_Proving_Identities_in_Algebraic_Structures.lean -rw-r--r-- 2048 bytes
• solutions_03_Using_Theorems_and_Lemmas.lean -rw-r--r-- 1732 bytes
• solutions_04_More_on_Order_and_Divisibility.lean -rw-r--r-- 2581 bytes
• solutions_05_Proving_Facts_about_Algebraic_Structures.lean -rw-r--r-- 3434 bytes