This website requires JavaScript.
Explore
Help
Sign In
jgarnek
/
de_rham_cyclic
Watch
1
Star
0
Fork
0
You've already forked de_rham_cyclic
Code
Issues
Pull Requests
Actions
Packages
Projects
Releases
Wiki
Activity
40
Commits
1
Branch
0
Tags
4
MiB
master
Commit Graph
7 Commits
Author
SHA1
Message
Date
jgarnek
a1a831d315
X ---> X/C
2024-12-18 12:52:42 +01:00
jgarnek
7a5f17bf2d
cw formula begin
2024-12-06 16:46:19 +01:00
jgarnek
48e2827cba
example - k[C] structure; main thm section instead of hypoel
2024-11-29 15:39:30 +01:00
jgarnek
8fa9a1fcd4
notation; m_{X/Y,P}
2024-11-25 13:07:20 +01:00
jgarnek
c44ac3b620
pf for hypoelementary
2024-10-17 20:22:54 +02:00
jgarnek
00c319f4c0
sketch of pf for Zpn
2024-10-17 15:02:25 +02:00
jgarnek
2a54cefac7
first commit
2024-10-17 13:22:42 +02:00