Shorter names for S15-17

pi-base / data

A community database of topological counterexamples

https://topology.pi-base.org/

Creative Commons Attribution 4.0 International

69 stars 24 forks source link

Closed prabau closed 2 months ago

prabau commented 2 months ago

Using shorter names as the main names for S15-17, as discussed in our latest zoom meeting.

(and fix CRLF from a previous PR)