Theorem nat.gcd_eq_gcd_ab
Modification history
2020-03-23 17:30
src/data/int/gcd.lean
doc(data/int/gcd): attribution + module doc (#2217) …
Modified nat.gcd_eq_gcd_abView on Github →2018-08-31 17:48
data/int/basic.lean
refactor(data/int/gcd): move int gcd proofs to the GCD theory
Modified nat.gcd_eq_gcd_abView on Github →