Theorem Theorems100.oddGF_prop

Modification history

2023-06-17 13:25

Archive/Wiedijk100Theorems/Partition.lean

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

Added Theorems100.oddGF_prop View on Github →