\section{Well-founded relations}\label{Wellfounded}

This library gives definitions and results about well-founded relations.