FDL > PVS > Number Theory > gcd > (anonymous) : importing

IMPORTING divisibility