Refactor `Data.Integer.Divisibility.Signed` - #2307

Merged

MatthewDaggitt merged 7 commits into

agda:masterfrom

jamesmckinna:divisibility-bis

Mar 24, 2024

Commits on Mar 3, 2024

Commits on Mar 13, 2024

first review comment: missing annotation
jamesmckinna
committed
f6736e2
removed two new lemmas: `i*j≢0⇒i≢0` and `i*j≢0⇒j≢0`
jamesmckinna
committed
3b410cf
Merge branch 'master' into divisibility-bis
jamesmckinna
authored
3f2f7a6