No results found

SphereEversion

Formalization of the existence of sphere eversions
Sort by
  1. Git dependency.
    Not found on Reservoir.

    checkdecls75d7aea

  2. Registry dependency.
    Found on Reservoir.

    mathlibv4.18.0

    The math library of Lean 4