This file contains WellFoundedRelation instances Bool.
They are provided as defs rather than instances, despite WellFoundedRelation being a class, as we provide versions for both < and >. If you need instances, you may use the WellFoundedLT and WellFoundedGT classes available in Mathlib.