Theorem List.alternatingProd_cons_cons'

Modification history

2025-07-05 03:31

Mathlib/Algebra/BigOperators/Group/List/Basic.lean

chore(Algebra/BigOperators): rename variables away from greek letters (#26521) …

Modified List.alternatingProd_cons_cons'View on Github →

2023-01-17 08:03

Mathlib/Data/List/BigOperators/Basic.lean

chore: tidy various files (#1595)

Added List.alternatingProd_cons_cons'View on Github →