finset semilattice_sup_bot

Stream: new members

[Alistair Tucker]

Hi! In finset.lean there is

instance : semilattice_inf_bot (finset α) :=
{ bot := ∅, bot_le := empty_subset, ..finset.lattice.lattice }

but no equivalent instance for semilattice_sup_bot. Is there some good reason for this?

[Johannes Hölzl]

I don't see any reason why this is missing.

[Alistair Tucker]

Thanks