Theorem Nat.xgcdAux_succ

Modification history

2024-05-11 18:18
Mathlib/Data/Int/GCD.lean
refactor: nicer well-founded function definitions (#12628) …
Deleted Nat.xgcdAux_succView on Github →
2024-04-14 10:41
Mathlib/Data/Int/GCD.lean
chore: remove autoImplicit from more files (#11798) …
Modified Nat.xgcdAux_succView on Github →
2022-12-21 12:42
Mathlib/Data/Int/Gcd.lean
feat port Data.Int.Gcd (#981) …
Added Nat.xgcdAux_succView on Github →