# Commit 2020-07-10 12:28 699c9153

View on Github →feat(number_theory): pythagorean triples (#3200) The classification of pythagorean triples (one of the "100 theorems")

Mathlib v3 is deprecated. Go to Mathlib v4

feat(number_theory): pythagorean triples (#3200) The classification of pythagorean triples (one of the "100 theorems")