Search results

[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

[Analysis/Normed/Algebra/MatrixExponential] det / trace / eigenvalues

help wantedExtra attention is neededExtra attention is needed

Status: Open.

#43 In SnirBroshi/mathlib4;

· SnirBroshi opened on Mar 10, 2026

Skew-symmetric / skew-hermitian matrices

help wantedExtra attention is neededExtra attention is needed

Status: Open.

#42 In SnirBroshi/mathlib4;

· SnirBroshi opened on Mar 10, 2026

[SimpleGraph] Kirchhoff's matrix tree theorem

graph-theory

Status: Open.

#41 In SnirBroshi/mathlib4;

· SnirBroshi opened on Mar 7, 2026

Van der Waerden and Schur numbers

help wantedExtra attention is neededExtra attention is needed

Status: Open.

#40 In SnirBroshi/mathlib4;

· SnirBroshi opened on Mar 7, 2026

[SimpleGraph/Acyclic] Add IsTrail versions of acyclic theorems

graph-theory

help wantedExtra attention is neededExtra attention is needed

Status: Open.

#39 In SnirBroshi/mathlib4;

· SnirBroshi opened on Mar 7, 2026