OAI/Analysis/SymmetricDomains/RootSignPattern.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Release061.SignElimination.tarskiQuery line 36
2. def OAI.Release061.SignElimination.signCoefficient line 39
3. lemma OAI.Release061.SignElimination.sign_indicator line 45
4. theorem OAI.Release061.SignElimination.sign_pattern_count line 50
5. theorem OAI.Release061.SignElimination.exists_root_sign_pattern_iff line 91