Theorem Theorems100.mem_cut

Modification history

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