The Rado simplicial complex. - Michael Farber 002; Lewis Mead; Lewin Strauss (J. Appl. Comput. Topol., 2021)