Skip to content

feat: Fodor's lemma#37685

Open
vihdzp wants to merge 130 commits into
leanprover-community:masterfrom
vihdzp:stat
Open

feat: Fodor's lemma#37685
vihdzp wants to merge 130 commits into
leanprover-community:masterfrom
vihdzp:stat

Update wording

8319de3
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
post-or-update-summary-comment
succeeded Jun 22, 2026 in 2m 29s