cirosantilli/lean/one_plus_one_is_three.lean

by Ciro Santilli (@cirosantilli, 40)
lean/one_plus_one_is_three.lean
def onePlusOneIsThree : 1 + 1 = 3 := rfl