OAI/Combinatorics/IndependentSets/Geometry/EmbeddingLayerLaw.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.LargeIndependentSets.rational_pattern_alignment line 11
2. def OAI.LargeIndependentSets.embeddingLayerLaw line 26
3. lemma OAI.LargeIndependentSets.embeddingLayerLaw_badMass line 43
4. theorem OAI.LargeIndependentSets.distributional_alignment line 75