shortlog
| Sun, 22 Dec 2024 14:54:46 -0500 | Tuomo Valkonen | Extra reflexivity and hilbert-like requirements for Euclidean. Fuse Dot into Euclidean. | changeset | files |
| Sat, 21 Dec 2024 23:32:20 -0500 | Tuomo Valkonen | Move origin stuff to AXPY form Euclidean | changeset | files |
| Tue, 31 Dec 2024 08:30:43 -0500 | Tuomo Valkonen | Compositions | changeset | files |
| Tue, 31 Dec 2024 09:02:55 -0500 | Tuomo Valkonen | More convexity, normed spaces, etc. | changeset | files |
