4 Commits

Author	SHA1	Message	Date
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