Skip to content

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

Closed
jamesmckinna wants to merge 12 commits into
agda:masterfrom
jamesmckinna:NumericNonZeroEquivalents
Closed

Numeric non-zero equivalents/Redesign of Almost* properties in Algebra.Definitions#2117
jamesmckinna wants to merge 12 commits into
agda:masterfrom
jamesmckinna:NumericNonZeroEquivalents

Merge branch 'NumericNonZeroEquivalents' of github.com:jamesmckinna/a…

2ec9bc3
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs