Theorem Theorems100.coeff_prod_range

Modification history

2024-02-14 01:35
Archive/Wiedijk100Theorems/Partition.lean
feat(RingTheory/PowerSeries/Basic): coeff of products (#9309) …
Deleted Theorems100.coeff_prod_rangeView on Github →
2023-10-14 06:04
Archive/Wiedijk100Theorems/Partition.lean
chore(Archive,Counterexamples): use `Type*` not `Type _` (#7663) …
Modified Theorems100.coeff_prod_rangeView on Github →
2023-06-17 13:25
Archive/Wiedijk100Theorems/Partition.lean
feat: port Archive.Wiedijk100Theorems.Partition (#5173)
Added Theorems100.coeff_prod_rangeView on Github →