search

agda / agda-stdlib

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

Rename+deprecate in `Algebra.Properties.CommutativeMagma.Divisibility` #2470

Closed jamesmckinna closed 2 months ago

jamesmckinna commented 2 months ago

Fixes #2245 . Tightens imports.