Closed pchampin closed 3 years ago
now ground triples simply denote themselves
Preview | Diff
superceded by #51
now ground triples simply denote themselves
Preview | Diff