2 Commits

Author	SHA1	Message	Date
Stefan Kebekus	ff00a0db82	Update tensor.lean	2024-07-03 11:17:47 +02:00
Stefan Kebekus	36c3d0f66b	Create tensor.lean	2024-07-02 11:45:03 +02:00