Skip to content

Add Dimitrov's theorem - #479

Open
jinpingzou73517 wants to merge 4 commits into
leanprover:mainfrom
jinpingzou73517:main
Open

Add Dimitrov's theorem#479
jinpingzou73517 wants to merge 4 commits into
leanprover:mainfrom
jinpingzou73517:main

Rename dimitrov_theorem_4_1 and id to dimitrov

2b2d162
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 error
verify
failed Aug 6, 2026 in 34m 56s