Commit 2023-06-20 12:36 9e2d6cb4

View on Github →

refactor: touch up Wiedijk100Theorems/Konigsberg (#5275) Recover some of the original formatting and improve the proof.

Estimated changes

modified def Konigsberg.adj
modified theorem Konigsberg.degree_eq_degree