Theorem nat.xgcd_aux_P
Modification history
2020-03-23 17:30
src/data/int/gcd.lean
doc(data/int/gcd): attribution + module doc (#2217) …
Modified nat.xgcd_aux_PView 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.xgcd_aux_PView on Github →