User:Saung Tadashi/Zarankiewicz's theorem

Zarankiewicz's theorem is a generalization of Bolzano-Weierstrass theorem to set-valued sequences.

(See https://drive.google.com/file/d/1EtGXEhhS9WK0iFWG9gRufXFzKv5SrElb/view)