Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | Disjoint_Union.v | 1608 | logplain |
-rw-r--r-- | Inclusion.v | 1065 | logplain |
-rw-r--r-- | Inverse_Image.v | 1745 | logplain |
-rw-r--r-- | Lexicographic_Exponentiation.v | 9486 | logplain |
-rw-r--r-- | Lexicographic_Product.v | 4590 | logplain |
-rw-r--r-- | Transitive_Closure.v | 1498 | logplain |
-rw-r--r-- | Union.v | 2266 | logplain |
-rw-r--r-- | Well_Ordering.v | 1877 | logplain |
-rw-r--r-- | Wellfounded.v | 858 | logplain |