[FEAT] src: Several proofs to practice Lean4.

[amlel-el-mahrouss]

Synopsis:

This issue adresses what can can added as proof in Lean4. Including non-trivial proofs.

Todo:

• Find proofs or any practice exercises to write as a practice for Lean4/Mathlib.

[amlel-el-mahrouss]

Closed as completed.