Skip to content

Update Mathlib/NumberTheory/PellMatiyasevic.lean

9ee2889
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Open

refactor(NumberTheory): golf Mathlib/NumberTheory/PellMatiyasevic #38494

Update Mathlib/NumberTheory/PellMatiyasevic.lean
9ee2889
Select commit
Loading
Failed to load commit list.