Made dvd/gcd/lcm a complete lattice by introducing Gcd/GCD/Lcm/LCM
Made dvd/gcd/lcm a complete lattice by introducing Gcd/GCD/Lcm/LCM

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle