agda-unimath icon indicating copy to clipboard operation
agda-unimath copied to clipboard

Published 20 hours ago • verified publisher icon UniMath

Ideals of semirings

Open EgbertRijke opened this issue 9 months ago • 0 comments

This pull request extracts ring theory from #1211

EgbertRijke avatar Feb 09 '25 19:02 EgbertRijke