Metamath Proof Explorer


Table of Contents - 16.1.2.4. Representations of graphs without edges

  1. snstrvtxval
  2. snstriedgval