Skip to content

Formal ConjecturesWikipedia

Oppermann's Conjecture

Exact formalization occurrence from the upstream source collection.

Open source
Source category
research open
Formal proof
Not retained
Vela current state
No Repository Result attached

History

  1. Source revision33c6a2dcafc5

    Declaration retained in the published subset

    Oppermann.oppermann_conjecture binds its category, docstring, Lean signature, source path, rights basis, and exact file root together.

  2. Earlier rename history

    No earlier declaration alias, split, merge, or supersession is asserted by this retained snapshot.

Search problems.science

Find a Problem, Result, source, or page