Commit graph

2 commits

Author SHA1 Message Date
Granahir2
185f016303 Improved congruence, implemented RP, fixed whitespace. 2024-06-08 10:48:13 +02:00
Granahir2
5d3416bae9 Reduced product functor 2024-06-06 16:09:13 +02:00