ID photo of Ciro Santilli taken in 2013 right eyeCiro Santilli OurBigBook logoOurBigBook.com $£ Sponsor 中国独裁统治 China Dictatorship 新疆改造中心、六四事件、法轮功、郝海东、709大抓捕、2015巴拿马文件 邓家贵、低端人口、西藏骚乱

lean/MathlibExamples/MathlibExamples.lean

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