Commit Graph

7 Commits

Author SHA1 Message Date
a1a831d315 X ---> X/C 2024-12-18 12:52:42 +01:00
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