Prefer a chat interface with context about you and your work?
On a minimal problem of O. Borůvka [Lecture]