Greatest common divisor: Difference between revisions
m
→{{header|ATS}}
m (→{{header|ATS}}) |
|||
Line 1,204:
end
(* u is unsigned, thus
prval _ = lemma_g1uint_param (u)
|