Mathlib v3 is deprecated. Go to Mathlib v4

Def prod.game_add.fix

Modification history

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