Def Theorems100.cut

Modification history

2024-02-14 01:35

Archive/Wiedijk100Theorems/Partition.lean

feat(RingTheory/PowerSeries/Basic): coeff of products (#9309) …

Deleted Theorems100.cut View on Github →

2023-10-14 06:04

Archive/Wiedijk100Theorems/Partition.lean

chore(Archive,Counterexamples): use `Type*` not `Type _` (#7663) …

Modified Theorems100.cut View on Github →

2023-06-17 13:25

Archive/Wiedijk100Theorems/Partition.lean

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

Added Theorems100.cut View on Github →