mathematics_in_lean

My solutions for this book

Update lun. 11 nov. 2024 10:26:08 CET

Changes

16 changed files (+102/-89)