Documentation

Batteries.Data.NameSet

source
@[implicit_reducible]
instance Lean.NameSet.instSingletonName_batteries :
Singleton Name NameSet
source
@[implicit_reducible]
instance Lean.NameSet.instUnion_batteries :
Union NameSet
source
@[implicit_reducible]
instance Lean.NameSet.instInter_batteries :
Inter NameSet
source
@[implicit_reducible]
instance Lean.NameSet.instSDiff_batteries :
SDiff NameSet