Ninth Dedekind number discovered: long-known problem in mathematics solvedphys.org65 pointspseudolus3 years ago