class Iris.Instances.Data.Disjoint (α : Type u) : Type u

• disjoint : α → α → Prop

def Iris.Instances.Data.«term_||_» : Lean.TrailingParserDescr

Equations

• One or more equations did not get rendered due to their size.