Equality_of_Mappings
Provedmapping-theoryproofwiki
Two mappings f, g : S → T are equal iff for all x in S, f(x) = g(x).
Preamble
import Mathlib.Logic.Function.Basic
Formal statement
theorem Equality_of_Mappings {α β : Type _} (f g : α → β) : f = g ↔ ∀ x, f x = g x := by sorrySource