Equations
- Function.Graph f y x = (y = f x)
Instances For
Equations
- Function.Graph₂ f y x₁ x₂ = (y = f x₁ x₂)
Instances For
def
Function.Graph₃
{σ : Sort u_1}
{α : Sort u_2}
{β : Sort u_3}
{γ : Sort u_4}
(f : α → β → γ → σ)
:
σ → α → β → γ → Prop
Equations
- Function.Graph₃ f y x₁ x₂ x₃ = (y = f x₁ x₂ x₃)