Tue, 25 Oct 2022 23:05:40 +0300 | Tuomo Valkonen | Added NormExponent trait for exponents of norms | file | diff | annotate |
Sat, 22 Oct 2022 14:40:28 +0300 | Tuomo Valkonen | Improve documentation | file | diff | annotate |
Sat, 22 Oct 2022 13:47:15 +0300 | Tuomo Valkonen | Initialise new clean repository | file | diff | annotate |