Completed facets

3. Proof source chapter🔗

Proof for Theorem 1.1
Original source
Source provenance preview
Preview
Original source
  • Documentfacet-proof-paper
    facet-proof-paper p. 2
    • page 2; pdf source/page-2.pdf
uses 0

A completed proof from page two.

Lean declarations attached to this proof●1 theorem