Fixes #2166 by fixing names in `IsSemilattice`#2211

Merged

MatthewDaggitt merged 2 commits intomasterfrom

Nov 26, 2023

Commits on Nov 24, 2023

Fix names in IsSemilattice
MatthewDaggitt
committed

Commits on Nov 25, 2023

Add reference to changes to Semilattice to CHANGELOG
MatthewDaggitt
committed