Def PythagoreanTriple.IsPrimitiveClassified

Modification history

2023-03-23 14:22

Mathlib/NumberTheory/PythagoreanTriples.lean

feat: port NumberTheory.PythagoreanTriples (#3022)

Added PythagoreanTriple.IsPrimitiveClassified View on Github →