씨발개같은거

def) Ϡ₀은 uncurred lambda notation임.
(λf.λx.xf)((λx.((graph⁻¹ • λt. λx. {(Ϡ₀(t,i).tᵢ)(y) | y ∈ (λt.t+(t,))(x)})(t, |t| - 1))x = x))⁻¹(1=1))⁻¹