Astra proved that every C(20) graph has a Berge Fulkerson cover. the proof has been checked in Lean
@thsottiauxits a good model sir
X (formerly Twitter) ·
Astra proved that every C(20) graph has a Berge Fulkerson cover. the proof has been checked in Lean
@thsottiauxits a good model sir