refactor(NumberTheory): golf Mathlib/NumberTheory/PellMatiyasevic
#38494
+1
−8
Loading