Theorem Konigsberg.not_isEulerian

Modification history

2023-06-17 11:54

Archive/Wiedijk100Theorems/Konigsberg.lean

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

Added Konigsberg.not_isEulerian View on Github →