Uploads by Autumn-Pan
Jump to navigation
Jump to search
This special page shows all uploaded files.
| Date | Name | Thumbnail | Size | Description | Versions |
|---|---|---|---|---|---|
| 22:36, 29 November 2025 | 1RB1LA 1RC1RE 1LD0RB 1LA0LC 0RF0RD 0RB---Pomme.pdf (file) |  |
170 KB | Pomme's proof of the rule closure of 1RB1LA_1RC1RE_1LD0RB_1LA0LC_0RF0RD_0RB--- | 1 |