Commit 2024-09-23 03:11 9890065b
View on Github →feat(Counterexamples/GameMultiplication): pre-game product cannot be lifted to games (#15764)
We show the existence of pre-games x₁, x₂, y with x₁ ≈ x₂ but x₁ * y ≉ x₂ * y.
feat(Counterexamples/GameMultiplication): pre-game product cannot be lifted to games (#15764)
We show the existence of pre-games x₁, x₂, y with x₁ ≈ x₂ but x₁ * y ≉ x₂ * y.