mathlib
bf690dd3 - feat(archive/100-theorems-list): add proof of thm 81 (#7274)

Commit

3 years ago

feat(archive/100-theorems-list): add proof of thm 81 (#7274) Co-authored-by: Ruben Van de Velde <65514131+Ruben-VandeVelde@users.noreply.github.com>

Author

manuelcandales

Parents