path: root/theories/Wellfounded/intro.tex

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

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