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

Commits

Commits on Jun 9, 2026