OAI/RepresentationTheory/UniversalSquare/Semigroup/SemigroupMissingLeaves.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Semigroup Missing Leaves.

  1. lemma OAI.UniversalTensorSquare.sg32006 line 13
  2. lemma OAI.UniversalTensorSquare.sg43233 line 14