Revision #2070 → #2800 · back to history
modifiedTime complexity29f4c0ca5bd2
| Field | From #2070 | To #2800 |
|---|
| mathlib.module | Mathlib.Computability.TuringMachine.Computable | Mathlib.Computability.TMComputable |
| moderation_proposal.fields | — | {"mathlib":{"decl":"Turing.TM2ComputableInTime","module":"Mathlib.Computability.TuringMachine.Computable","match_kind":"invocation"}} |
| moderation_proposal.reason | — | Verified decl exists but lives in Mathlib.Computability.TuringMachine.Computable, not the cited TMComputable module. |
| provenance | ai | ai-moderated |
modifiedWorst-case time complexity09c469bd44ed
| Field | From #2070 | To #2800 |
|---|
| mathlib.module | Mathlib.Computability.TuringMachine.Computable | Mathlib.Computability.TMComputable |
| moderation_proposal.fields | — | {"mathlib":{"decl":"Turing.TM2ComputableInTime","module":"Mathlib.Computability.TuringMachine.Computable","match_kind":"invocation"}} |
| moderation_proposal.reason | — | Verified decl module is Mathlib.Computability.TuringMachine.Computable, not TMComputable. |
| provenance | ai | ai-moderated |
modifiedLinear and polynomial time classificationd4fae719597d
| Field | From #2070 | To #2800 |
|---|
| mathlib.module | Mathlib.Computability.TuringMachine.Computable | Mathlib.Computability.TMComputable |
| moderation_proposal.fields | — | {"mathlib":{"decl":"Turing.TM2ComputableInPolyTime","module":"Mathlib.Computability.TuringMachine.Computable","match_kind":"invocation"}} |
| moderation_proposal.reason | — | Verified decl module is Mathlib.Computability.TuringMachine.Computable, not TMComputable. |
| provenance | ai | ai-moderated |
modifiedPolynomial time53f05619a6b8
| Field | From #2070 | To #2800 |
|---|
| mathlib.module | Mathlib.Computability.TuringMachine.Computable | Mathlib.Computability.TMComputable |
| moderation_proposal.fields | — | {"mathlib":{"decl":"Turing.TM2ComputableInPolyTime","module":"Mathlib.Computability.TuringMachine.Computable","match_kind":"exact"}} |
| moderation_proposal.reason | — | Verified decl module is Mathlib.Computability.TuringMachine.Computable, not the cited TMComputable. |
| provenance | ai | ai-moderated |
modifiedClass Pccdacc80793f
| Field | From #2070 | To #2800 |
|---|
| mathlib.module | Mathlib.Computability.TuringMachine.Computable | Mathlib.Computability.TMComputable |
| moderation_proposal.fields | — | {"mathlib":{"decl":"Turing.TM2ComputableInPolyTime","module":"Mathlib.Computability.TuringMachine.Computable","match_kind":"invocation"}} |
| moderation_proposal.reason | — | Verified decl module is Mathlib.Computability.TuringMachine.Computable, not TMComputable. |
| provenance | ai | ai-moderated |
addedStirling's approximation for log(n!)a804e6f32dbd
addedPresburger arithmetic decision procedure66bf7ccc7021
addedGröbner basis computation4d95a177594c