Skip to content

Games equivalent as games and the fundamental lemma - #28

Merged
MarcIlunga merged 1 commit into
mainfrom
game-equivalence
Oct 13, 2026
Merged

Games equivalent as games and the fundamental lemma#28
MarcIlunga merged 1 commit into
mainfrom
game-equivalence

Games: equivalence as games and the fundamental lemma

e0db706
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar