OAI/RepresentationTheory/UniversalSquare/Finite/DegreeTreeProof64.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Degree Tree Proof 64.

  1. lemma OAI.UniversalTensorSquare.degreeTree64_0All line 17
  2. lemma OAI.UniversalTensorSquare.degreeTreeAll64 line 20