OAI/Combinatorics/SumProduct/Alignment/RoughArray04.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.RoughArrayFace.source_global_selected_faces line 30
2. theorem OAI.RoughArrayCoordinates.physical_grid_continuous line 162