Mathlib v3 is deprecated. Go to Mathlib v4

Theorem prod.rprod_le_trans_gen_game_add

Modification history

2023-01-25 14:10
src/order/game_add.lean
feat(order/game_add): add more lemmas (#16082) …
Modified prod.rprod_le_trans_gen_game_addView on Github →
2022-08-16 10:36
src/order/game_add.lean
refactor(order/game_add): move `game_add` to its own file (#15885) …
Added prod.rprod_le_trans_gen_game_addView on Github →