Triangles #5

Merged

Taneb merged 3 commits from tri into main 2024-06-22 16:14:23 +01:00

Conversation 0 Commits 3 Files Changed 2 +88

3 Commits

Author	SHA1	Message	Date
Nathan van Doorn	fc605de0a6	Add that slices are unique	2024-06-22 17:13:42 +02:00
Nathan van Doorn	3e2ea54030	Add a uniqueness property	2024-06-22 16:52:06 +02:00
Nathan van Doorn	d2557b6967	Add triangle definitions	2024-06-22 16:51:57 +02:00