Def Theorems100.partialDistinctGF

Modification history

2025-08-21 10:55

Archive/Wiedijk100Theorems/Partition.lean

chore(RingTheory/(Mv)PowerSeries): use implicit parameters in `monomial`, `coeff`, `map`, `C`, and `constantCoeff` (#27889) …

Modified Theorems100.partialDistinctGF View on Github →

2023-06-17 13:25

Archive/Wiedijk100Theorems/Partition.lean

feat: port Archive.Wiedijk100Theorems.Partition (#5173)

Added Theorems100.partialDistinctGF View on Github →