OAI/Probability/SATComputability/ActiveClauses.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.FixedClauseThreshold.Computability.IncidentClass line 9
2. abbrev OAI.FixedClauseThreshold.Computability.ActiveClause line 11
3. def OAI.FixedClauseThreshold.Computability.activeClass line 13
4. theorem OAI.FixedClauseThreshold.Computability.activeClass_injective line 19
5. def OAI.FixedClauseThreshold.Computability.incidentMask line 26
6. def OAI.FixedClauseThreshold.Computability.strongerClassMask line 30
7. theorem OAI.FixedClauseThreshold.Computability.restoredMask_mono line 35
8. theorem OAI.FixedClauseThreshold.Computability.strongerClassMask_subset line 48
9. theorem OAI.FixedClauseThreshold.Computability.inactiveClass_trivial line 61