Def Nat.xgcdAux

Modification history

2025-11-27 09:46

Mathlib/Data/Int/GCD.lean

feat(Data/Nat): reducible strong recursion (#30181) …

Modified Nat.xgcdAux View on Github →

2022-12-21 12:42

Mathlib/Data/Int/Gcd.lean

feat port Data.Int.Gcd (#981) …

Added Nat.xgcdAux View on Github →