OAI/Analysis/FreeWords/Stability.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.UniversalStrongKK.algebraUnitBall line 14
2. def OAI.UniversalStrongKK.directedGap line 17
3. def OAI.UniversalStrongKK.kkDistance line 21
4. def OAI.UniversalStrongKK.Implements line 24
5. def OAI.UniversalStrongKK.StrongKKStatement line 28