Update Ring-like table in Algebra for Semifield added in #3979#4426

armanbilge merged 1 commit intotypelevel:maintypelevel/cats:mainfrom

benhutchison:patch-4benhutchison/cats:patch-4Copy head branch name to clipboard