Skip to content
This repository was archived by the owner on Sep 2, 2026. It is now read-only.

prove dwpTSDunopAddValL - #615

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

prove dwpTSDunopAddValL#615
MrBrain295 wants to merge 1 commit into
leanprover:mainfrom
MrBrain295:patch-1

prove dwpTSDunopAddValL

28887c1
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs