rule added

Update README.md

Exponentiation function

a few more lines

more examples in Lean

Create 20250902.md

Update 20250826.md

Create 20250826.livemd

Update 20250826.md

Update 20250826.md

26 08 2025 class notes

Add files via upload

Update README.md

Update README.md

Update README.md