Search results

Summing ENat

help wantedExtra attention is neededExtra attention is needed

Status: Open.

#63 In SnirBroshi/mathlib4;

· SnirBroshi opened on Apr 10, 2026

[SimpleGraph/Coloring/*List] List coloring

graph-theory

Status: Open.

#62 In SnirBroshi/mathlib4;

· SnirBroshi opened on Apr 8, 2026

[SimpleGraph/Coloring/Total] Total coloring

graph-theory

Status: Open.

#61 In SnirBroshi/mathlib4;

· SnirBroshi opened on Apr 8, 2026

[SimpleGraph/Coloring/ChromaticPolynomial] Chromatic polynomials

graph-theory

Status: Open.

#60 In SnirBroshi/mathlib4;

· SnirBroshi opened on Apr 8, 2026

Integral representation of the Zeta function

analysis

help wantedExtra attention is neededExtra attention is needed

Status: Open.

#59 In SnirBroshi/mathlib4;

· SnirBroshi opened on Apr 4, 2026

Discrete topology/metric type-alias

topology

Status: Open.

#58 In SnirBroshi/mathlib4;

· SnirBroshi opened on Apr 3, 2026

Real.exp / Real.log bounds

analysis

help wantedExtra attention is neededExtra attention is needed

Status: Open.

#57 In SnirBroshi/mathlib4;

· SnirBroshi opened on Mar 28, 2026

[NumberTheory/Real/Irrational] Decidable <| Irrational <| q ^ p for q p : ℚ

help wantedExtra attention is neededExtra attention is needed

number-theory

Status: Open.

#56 In SnirBroshi/mathlib4;

· SnirBroshi opened on Mar 28, 2026

[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