Theorem Theorems100.cut_equiv_antidiag

Modification history

2024-02-14 01:35
Archive/Wiedijk100Theorems/Partition.lean
feat(RingTheory/PowerSeries/Basic): coeff of products (#9309) …
Deleted Theorems100.cut_equiv_antidiagView on Github →
2023-06-17 13:25
Archive/Wiedijk100Theorems/Partition.lean
feat: port Archive.Wiedijk100Theorems.Partition (#5173)
Added Theorems100.cut_equiv_antidiagView on Github →