Add graphs theories translated to P9#20

acchow wants to merge 1 commit into

mastergruninger/colore:masterfrom

conversionsgruninger/colore:conversionsCopy head branch name to clipboard