Documentation

Init.Data.ULift

def instDecidableEqULift.decEq {α✝ : Type u_1} [DecidableEq α✝] (x✝ x✝¹ : ULift α✝) :
Decidable (x✝ = x✝¹)
Equations
Instances For