OAI/Analysis/CircleDomains/Selection/CountableGraphCover.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Reindex a countable graph cover by the natural numbers without changing its quadratic cost or increasing its diameter bound.

  1. lemma OAI.CircleDomainRigidity.nat_graph_cover_of_countable line 13