Skip to content

Update Defs.lean: correct description of opaque#838

Open
safinaskar wants to merge 1 commit into
leanprover:mainfrom
safinaskar:patch-1
Open

Update Defs.lean: correct description of opaque#838
safinaskar wants to merge 1 commit into
leanprover:mainfrom
safinaskar:patch-1

Commits

Commits on Apr 23, 2026