Polymorphic identity

1/4 ~5 minlean

Implement the polymorphic identity function.

3 lines · Lean 4

def identity {α : Type} (x : α) : α := by
  -- replace this line
  sorry

Objectifs

Indices

Voir la solution

def identity {α : Type} (x : α) : α := x