Commit History

Add optimality note: exhaustive enumeration confirms magnitude 1 is minimum
51c400d

CharlesCNorton commited on

Rename from tiny-NOT-verified
8638f54
verified

phanerozoic commited on

initial commit
865a807
verified

phanerozoic commited on