Documentation

Batteries.Data.NameSet

source
instance Lean.NameSet.instSingletonName_batteries :
Singleton Name NameSet
Equations
    source
    instance Lean.NameSet.instUnion_batteries :
    Union NameSet
    Equations
      source
      instance Lean.NameSet.instInter_batteries :
      Inter NameSet
      Equations
        source
        instance Lean.NameSet.instSDiff_batteries :
        SDiff NameSet
        Equations