Some updates to improve the performance of LatticeOfCongruences
and friends#884
Merged
james-d-mitchell merged 1 commit intosemigroups:mainfrom james-d-mitchell:sims1/faster-joins-latestMar 16, 2023
+1,100-422
LatticeOfCongruences
and friends#884