Lukas' Notes
Search titles, aliases and note text. Use # for tags.
Retry
Dark mode
Light mode
Proof by Induction
1 min read
proof-theory