OAI/Geometry/HeilbronnTriangle/NormFoundation.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Problem355.NormFoundation.momentColumn line 12
2. def OAI.Problem355.NormFoundation.momentMatrix line 15
3. theorem OAI.Problem355.NormFoundation.det_momentMatrix line 18
4. theorem OAI.Problem355.NormFoundation.det_momentMatrix_ne_zero line 24
5. theorem OAI.Problem355.NormFoundation.norm_det_momentMatrix_ne_zero line 31
6. theorem OAI.Problem355.NormFoundation.norm_det_momentMatrix_eq_prod line 37