| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | bipartition.tex | 2972 | logplain |
| -rw-r--r-- | cantor.tex | 781 | logplain |
| -rw-r--r-- | cons.tex | 3685 | logplain |
| -rw-r--r-- | equinumerosity.tex | 3171 | logplain |
| -rw-r--r-- | filter.tex | 6608 | logplain |
| -rw-r--r-- | fixpoint.tex | 1888 | logplain |
| -rw-r--r-- | partition.tex | 1302 | logplain |
| -rw-r--r-- | powerset.tex | 3677 | logplain |
| -rw-r--r-- | product.tex | 3915 | logplain |
| -rw-r--r-- | regularity.tex | 1407 | logplain |
| -rw-r--r-- | suc.tex | 2313 | logplain |
| -rw-r--r-- | symdiff.tex | 1902 | logplain |
 |
index : felix.git | |
| Unnamed repository; edit this file 'description' to name the repository. | Adrian |
| summaryrefslogtreecommitdiff |