Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-03-11 19:18 e3ad468b

View on Github →

feat(data/list/prod_monoid): add prod_eq_pow_card (#12473)

Estimated changes

Modified src/data/list/prod_monoid.lean

added theorem list.prod_eq_pow_card