search

agda / agda-stdlib

The Agda standard library
https://wiki.portal.chalmers.se/agda/Libraries/StandardLibrary
Other
561 stars 234 forks source link

Add a consequence of definition straight to IsCancellativeCommutativeSemiring #2370

Closed JacquesCarette closed 2 months ago

JacquesCarette commented 2 months ago

Closes #2315 .