Mathlib v3 is deprecated. Go to Mathlib v4

Theorem list.pow_card_le_prod

Modification history

2022-11-24 01:48

src/data/list/big_operators/basic.lean

chore(data/list/big_operators): split (#17702) …

Modified list.pow_card_le_prod View on Github →

2022-03-18 13:10

src/data/list/big_operators.lean

refactor(data/list/big_operators): review API (#12782) …

Added list.pow_card_le_prod View on Github →