vault backup: 2025-01-23 19:58:25

2025-01-23 19:58:25 +01:00
parent cd74b226dd
commit a7b9eb69ef
10 changed files with 21535 additions and 610 deletions
--- a/Structures/Mathematical
+++ b/Structures/Mathematical
@ -89,6 +89,8 @@ To prove $P$:

 ## Mathematical Induction
 [^2]
+Generalized in [Proofs (FP)](Proofs.md)
+

 ![induction](induction.png)