OAI/Analysis/MatrixSigning/Machines/NestedSchur.lean
2 declarations, 0 contain sorry, 0 declared as axioms
- theorem
OAI.KS.W30.nested_schur_invOfline 9 - theorem
OAI.KS.W30.nested_schurline 28
OAI/Analysis/MatrixSigning/Machines/NestedSchur.lean2 declarations, 0 contain sorry, 0 declared as axioms
OAI.KS.W30.nested_schur_invOf line 9OAI.KS.W30.nested_schur line 28