Talk:Convex triamond polyhedron

Some of these names are pretty long and awkward. Can't see any way to shorten them, though. Should we use the full Johnson names instead of Jn in the page names that are being made?The New Kid (talk) 00:40, 22 April 2023 (UTC)