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

Update Defs.lean: correct description of `opaque`

23c53dc
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs