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

Published 20 hours ago • verified publisher icon agda

Define nonAssociativeRing

Open Akshobhya1234 opened this issue 3 years ago • 0 comments
trafficstars

Akshobhya1234 avatar Aug 01 '22 21:08 Akshobhya1234