OAI/Analysis/FreeWords/CutNorms.lean
2 declarations, 0 contain sorry, 0 declared as axioms
- theorem
OAI.KKFreeWords.sum_noPresCut_normline 20 - theorem
OAI.KKFreeWords.sum_presCut_normline 42
OAI/Analysis/FreeWords/CutNorms.lean2 declarations, 0 contain sorry, 0 declared as axioms
OAI.KKFreeWords.sum_noPresCut_norm line 20OAI.KKFreeWords.sum_presCut_norm line 42