mathematics_in_lean

My solutions for this book

Update ven. 27 sept. 2024 10:15:29 CEST

Changes

68 changed files (+7779/-18379)