6 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
jgarnek	de9e7848b9	unnecessary chevaley weil	2024-10-18 14:57:27 +02:00
jgarnek	6498584b31	Lemma mc T = mc T --> T = T	2024-10-17 20:43:47 +02: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	2446de0dd4	relation between jumps	2024-10-17 14:40:28 +02:00
jgarnek	2a54cefac7	first commit	2024-10-17 13:22:42 +02:00