No results found

SphereEversion

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

    checkdecls7edf946

  2. Registry dependency.
    Found on Reservoir.

    mathlib808600f

    The math library of Lean 4