|
|
7a5f17bf2d
|
cw formula begin
|
2024-12-06 16:46:19 +01:00 |
|
|
|
48e2827cba
|
example - k[C] structure; main thm section instead of hypoel
|
2024-11-29 15:39:30 +01:00 |
|
|
|
8fa9a1fcd4
|
notation; m_{X/Y,P}
|
2024-11-25 13:07:20 +01:00 |
|
|
|
c44ac3b620
|
pf for hypoelementary
|
2024-10-17 20:22:54 +02:00 |
|
|
|
00c319f4c0
|
sketch of pf for Zpn
|
2024-10-17 15:02:25 +02:00 |
|
|
|
2a54cefac7
|
first commit
|
2024-10-17 13:22:42 +02:00 |
|
