Theorem List.eq_of_prod_take_eq

Modification history

2024-04-05 23:45

Mathlib/Algebra/BigOperators/List/Basic.lean

chore(Algebra/BigOperators/List): Use Std lemmas (#11725) …

Modified List.eq_of_prod_take_eq View on Github →

2023-01-10 07:36

Mathlib/Data/List/BigOperators/Basic.lean

feat: port Data.List.BigOperators.Basic (#1380) …

Added List.eq_of_prod_take_eq View on Github →