Mathlib v3 is deprecated. Go to Mathlib v4

Theorem prod.game_add_iff

Modification history

2023-01-25 14:10

src/order/game_add.lean

feat(order/game_add): add more lemmas (#16082) …

Added prod.game_add_iff View on Github →