OAI/Analysis/Quantum/PPTSquare/PencilData.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.ExplicitPencil.data line 11
2. def OAI.PencilAlgebra.pencil line 20
3. def OAI.PencilAlgebra.minors line 22
4. lemma OAI.PencilAlgebra.det4 line 24
5. lemma OAI.PencilAlgebra.pencil_affine line 33