Index of /version/current/html/proofs/roughif1
Name Last modified Size Description
Parent Directory -
1 2026-11-07 02:45 6.5K
2_1_1 2026-11-07 02:45 4.5K
4 2026-11-07 02:45 8.6K
5 2026-11-07 02:45 6.0K
7_1_1 2026-11-07 02:45 3.5K
8 2026-11-07 02:45 12K
9 2026-11-07 02:45 11K
10 2026-11-07 02:45 17K
11 2026-11-07 02:45 17K
12 2026-11-07 02:45 12K
15_1 2026-11-07 02:45 7.5K
16_1_1 2026-11-07 02:45 5.4K
16_1_2 2026-11-07 02:45 4.2K
17_1_1 2026-11-07 02:45 5.8K
17_2_1 2026-11-07 02:45 5.1K
18_1_1 2026-11-07 02:45 6.2K
18_1_2 2026-11-07 02:45 4.9K
18_2_1 2026-11-07 02:45 6.2K
18_2_2 2026-11-07 02:45 4.9K
19 2026-11-07 02:45 15K
20 2026-11-07 02:45 7.0K
21 2026-11-07 02:45 3.9K
22 2026-11-07 02:45 7.2K
23 2026-11-07 02:45 8.9K
24 2026-11-07 02:45 22K
25 2026-11-07 02:45 4.6K
26 2026-11-07 02:45 2.6K
27 2026-11-07 02:45 2.6K
31_1_1 2026-11-07 02:45 7.8K
31_2_1 2026-11-07 02:45 5.1K
31_3_1 2026-11-07 02:45 7.8K
31_4_1 2026-11-07 02:45 5.1K
31_5_1 2026-11-07 02:45 7.8K
31_6_1 2026-11-07 02:45 5.1K
32_1_1 2026-11-07 02:45 1.4K
33 2026-11-07 02:45 11K
36_1_1 2026-11-07 02:45 2.1K
40 2026-11-07 02:45 12K
41 2026-11-07 02:45 6.8K
42 2026-11-07 02:45 6.5K
43 2026-11-07 02:45 4.7K
44 2026-11-07 02:45 14K
45 2026-11-07 02:45 23K
46 2026-11-07 02:45 27K
47 2026-11-07 02:45 18K
48 2026-11-07 02:45 8.5K
50 2026-11-07 02:45 6.1K
51 2026-11-07 02:45 3.6K
52_1_1 2026-11-07 02:45 3.1K
52_2_1 2026-11-07 02:45 3.1K
52_3_1 2026-11-07 02:45 3.1K
53 2026-11-07 02:45 31K
54 2026-11-07 02:45 10K
55 2026-11-07 02:45 9.5K
56 2026-11-07 02:45 15K
57 2026-11-07 02:45 14K
58 2026-11-07 02:45 5.9K
59 2026-11-07 02:45 16K
60 2026-11-07 02:45 9.6K
61 2026-11-07 02:45 7.6K
67 2026-11-07 02:45 8.3K
68 2026-11-07 02:45 14K
69 2026-11-07 02:45 21K
70 2026-11-07 02:45 9.5K
71 2026-11-07 02:45 9.3K