Author: Urs Format: MarkdownItexadded to _[[disk]]_ a brief pointer to Joyal's combinatorial disks. Needs to be expanded, probably entry should be split and disambiguated. But no time right now.
added to disk a brief pointer to Joyal’s combinatorial disks. Needs to be expanded, probably entry should be split and disambiguated. But no time right now.