FDL > PVS > Number Theory > gcd > mm : var-decl

mm: VAR posnat