Ninth Dedekind Number Found by Two Independent Groups

The Twin Prime Hero