Tweak names, descriptions, and groups of theories#249

epatters merged 1 commit intomainToposInstitute/CatColab:mainfrom

theory-names-and-groupsToposInstitute/CatColab:theory-names-and-groupsCopy head branch name to clipboard