OAI/Analysis/LipschitzFree/Words.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

Finite words of prescribed length

  1. def OAI.DiscreteFree.Words line 16
  2. def OAI.DiscreteFree.Words.equivFun line 21
  3. instance OAI.DiscreteFree.Words.(instance at line 30) line 30
  4. theorem OAI.DiscreteFree.Words.card line 32