, if it exists, is not known.
Exact formalization occurrence from the upstream source collection.
- Source category
- research open
- Formal proof
- Not retained
- Vela current state
- No Repository Result attached
Results and checks
No Vela Result is attached
The exact declaration is source-categorized research open. A GitHub merge, Lean build, or advisory review does not become a Vela Result or scientific decision by itself.
Add a Result