Def Konigsberg.adj

Modification history

2023-06-20 12:36

Archive/Wiedijk100Theorems/Konigsberg.lean

refactor: touch up `Wiedijk100Theorems/Konigsberg` (#5275) …

Modified Konigsberg.adj View on Github →

2023-06-17 11:54

Archive/Wiedijk100Theorems/Konigsberg.lean

feat: port Archive.Wiedijk100Theorems.Konigsberg (#5181)

Added Konigsberg.adj View on Github →