Mathlib Changelog
v4
Changelog
About
Github
Theorem
Theorems100.cut_univ_fin_eq_antidiagonalTuple
Modification history
2024-02-14 01:35
Archive/Wiedijk100Theorems/Partition.lean
feat(RingTheory/PowerSeries/Basic): coeff of products (#9309) …
Deleted
Theorems100.cut_univ_fin_eq_antidiagonalTuple
View on Github →
2023-06-17 13:25
Archive/Wiedijk100Theorems/Partition.lean
feat: port Archive.Wiedijk100Theorems.Partition (#5173)
Added
Theorems100.cut_univ_fin_eq_antidiagonalTuple
View on Github →