import Mathlib.Data.Nat.Basic
open Nat
#eval lcm 6 8
#eval lcm 12 18