-
dt authored
probably going to rethink how I should go about formalizing this; finramsey should be trashed (except the proof outline)
38e72263
probably going to rethink how I should go about formalizing this; finramsey should be trashed (except the proof outline)