Skip to content

definition of Irreducible and Rough; refactoring of Prime and Composite cf. #2180 - #2181

Merged
jamesmckinna merged 79 commits into
agda:masterfrom
jamesmckinna:issue2180
Nov 24, 2023
Merged

definition of Irreducible and Rough; refactoring of Prime and Composite cf. #2180#2181
jamesmckinna merged 79 commits into
agda:masterfrom
jamesmckinna:issue2180

Updated CHANGELOG

218d089
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs