15 agosto 2023 – Calculemus

En los anillos, 1 + 1 = 2

PorJosé A. Alonso 15 agosto 202330 julio 2023

Demostrar con Lean4 que En los anillos, \(1 + 1 = 2\)

Para ello, completar la siguiente teoría de Lean4:

import Mathlib.Algebra.Ring.Defs
import Mathlib.Tactic
variable {R : Type _} [Ring R]

example : 1 + 1 = (2 : R) :=
sorry

import Mathlib.Algebra.Ring.Defs

import Mathlib.Tactic

variable {R : Type _} [Ring R]

example : 1 + 1 = (2 : R) :=

sorry