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

Commits

Commits on Jul 25, 2026