OAI/Combinatorics/SumProduct/Alignment/WordPlan04.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. structure OAI.ConstructedWordPlan.GlobalWordPlan.CoveredPhysicalData line 35
2. def OAI.ConstructedWordPlan.GlobalWordPlan.CoveredPhysicalData.toPhysical line 72
3. theorem OAI.ConstructedWordPlan.GlobalWordPlan.own_lifts_from_covered_physical_faces line 111
4. theorem OAI.AllLevelFactorization.Factorization.covered_physical_pivot_empirical_success_mass line 164
5. theorem OAI.AllLevelFactorization.Factorization.actual_lattice_pivot_empirical_success_mass line 229