OAI/MathematicalPhysics/PEPSMove/SingularInterpolation.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.PolynomialPEPS.PhysicalMove.LocalMove.regularWeights line 15
2. theorem OAI.PolynomialPEPS.PhysicalMove.LocalMove.regularWeights_pos line 19
3. theorem OAI.PolynomialPEPS.PhysicalMove.LocalMove.regularWeights_sum line 27
4. theorem OAI.PolynomialPEPS.PhysicalMove.LocalMove.regularWeights_tendsto line 36
5. theorem OAI.PolynomialPEPS.PhysicalMove.LocalMove.power_regularWeights_tendsto line 45
6. theorem OAI.PolynomialPEPS.PhysicalMove.LocalMove.one_copy_interpolation line 82
7. theorem OAI.PolynomialPEPS.PhysicalMove.LocalMove.one_copy_move_schmidt line 142