Search results

[Counterexamples] Lakes of Wada

help wantedExtra attention is neededExtra attention is needed

topology

Status: Open.

#55 In SnirBroshi/mathlib4;

· SnirBroshi opened on Mar 24, 2026

[SimpleGraph/Hamiltonian] Graphs with Hamiltonian/Eulerian walks are connected

graph-theory

help wantedExtra attention is neededExtra attention is needed

Status: Open.

#54 In SnirBroshi/mathlib4;

· SnirBroshi opened on Mar 24, 2026

[Analysis/SpecialFunctions/Gamma/Beta] Γ(s - 1) = Γ(s + 1) iff

analysis

help wantedExtra attention is neededExtra attention is needed

Status: Open.

#53 In SnirBroshi/mathlib4;

· SnirBroshi opened on Mar 23, 2026

[RingTheory/RootsOfUnity/EnoughRootsOfUnity] The sum of all roots of unity is 0

analysis

help wantedExtra attention is neededExtra attention is needed

Status: Open.

#52 In SnirBroshi/mathlib4;

· SnirBroshi opened on Mar 23, 2026

[NumberTheory/Transcendental/Liouville/LiouvilleNumber] Liouville numbers using digits other than 1

help wantedExtra attention is neededExtra attention is needed

number-theory

Status: Open.

#51 In SnirBroshi/mathlib4;

· SnirBroshi opened on Mar 23, 2026

[SimpleGraph/Paths] A walk is a path iff its subgraph is acyclic

graph-theory

help wantedExtra attention is neededExtra attention is needed

Status: Open.

#50 In SnirBroshi/mathlib4;

· SnirBroshi opened on Mar 19, 2026

[SimpleGraph/Connectivity] Connectivity vs adding edges

graph-theory

help wantedExtra attention is neededExtra attention is needed

Status: Open.

#49 In SnirBroshi/mathlib4;

· SnirBroshi opened on Mar 19, 2026

Subtype.restrict / Set.restrict / Finset.restrict

Status: Open.

#48 In SnirBroshi/mathlib4;

· SnirBroshi opened on Mar 18, 2026

[NumberTheory/SumThreeSquares] Legendre's three-square theorem

help wantedExtra attention is neededExtra attention is needed

number-theory

Status: Open.

#47 In SnirBroshi/mathlib4;

· SnirBroshi opened on Mar 13, 2026

[Algebra/LinearRecurrence] Pisano periods

help wantedExtra attention is neededExtra attention is needed

Status: Open.

#46 In SnirBroshi/mathlib4;

· SnirBroshi opened on Mar 12, 2026

[SimpleGraph/Trails] existence of an Eulerian walk

graph-theory

help wantedExtra attention is neededExtra attention is needed

Status: Open.

#45 In SnirBroshi/mathlib4;

· SnirBroshi opened on Mar 11, 2026

Circumference of a circle

help wantedExtra attention is neededExtra attention is needed

Status: Open.

#44 In SnirBroshi/mathlib4;

· SnirBroshi opened on Mar 10, 2026