| File | Mode | Size |
|---|---|---|
| README.md | -rw-r--r-- | 893 bytes |
| banach-tarski-b-0.lisp | -rw-r--r-- | 195.2 KB |
| banach-tarski-s2.lisp | -rw-r--r-- | 335.9 KB |
| banach-tarski.lisp | -rw-r--r-- | 378.6 KB |
| countable-sets.lisp | -rw-r--r-- | 23.9 KB |
| free-group.lisp | -rw-r--r-- | 114.7 KB |
| groups.lisp | -rw-r--r-- | 59.8 KB |
| hausdorff-paradox-1.lisp | -rw-r--r-- | 204.6 KB |
| hausdorff-paradox-2.lisp | -rw-r--r-- | 237.3 KB |
| rotations.lisp | -rw-r--r-- | 43.8 KB |
| supportive-theorems.lisp | -rw-r--r-- | 3.3 KB |
