Mathlib v3 is deprecated. Go to Mathlib v4

Theorem prod.game_add.induction

Modification history

2023-01-25 14:10
src/order/game_add.lean
feat(order/game_add): add more lemmas (#16082) …
Added prod.game_add.inductionView on Github →