Integer multiplication is very unexpected, I think most people believed in the n log n lower bound!

Note that these are all preprints. None are verified.

	▲	FuckButtons 39 minutes ago \| parent [-]
		Other than the by the lean certificate you mean.