OAI/Analysis/Quantum/PPTSquare/Mod41Data.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.ModularPencil.P41.A line 12
2. def OAI.ModularPencil.P41.U line 33
3. def OAI.ModularPencil.P41.V line 54
4. def OAI.ModularPencil.P41.B line 75
5. def OAI.ModularPencil.P41.coeffs line 96
6. def OAI.ModularPencil.P41.f line 97