👤

Greatest common divisor definition