Numeric non-zero equivalents/Redesign of `Almost*` properties in `Algebra.Definitions`#2117

Draft

jamesmckinna wants to merge 12 commits intoagda:masterfrom jamesmckinna:NumericNonZeroEquivalents

+180-38

Commits on Sep 25, 2023

NonZero constructor/destructor pairs for the concrete numeric types
jamesmckinna
committed

Commits on Sep 29, 2023

Merge branch 'agda:master' into NumericNonZeroEquivalents
jamesmckinna
authored

Commits on Sep 30, 2023

preliminary redesign of Almost* algebraic properties
jamesmckinna
committed