Skip to content

Modify isZero function pattern matching to use underscore to avoid unused variable warning#276

Open
conor10 wants to merge 1 commit into
leanprover:masterfrom
conor10:patch-1
Open

Modify isZero function pattern matching to use underscore to avoid unused variable warning#276
conor10 wants to merge 1 commit into
leanprover:masterfrom
conor10:patch-1

Modify isZero function pattern matching to use underscore

f4b90c4
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs