Library Stdlib.Wellfounded.Wellfounded


From Stdlib Require Export Disjoint_Union.
From Stdlib Require Export Inclusion.
From Stdlib Require Export Inverse_Image.
From Stdlib Require Export Lexicographic_Exponentiation.
From Stdlib Require Export Lexicographic_Product.
From Stdlib Require Export List_Extension.
From Stdlib Require Export Transitive_Closure.
From Stdlib Require Export Union.
From Stdlib Require Export Well_Ordering.