forked from leanprover-community/mathlib4
-
Notifications
You must be signed in to change notification settings - Fork 1
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
[
SimpleGraph] Bridgeless vs 2-connectivity, and common graphshelp wantedExtra attention is neededExtra attention is neededStatus: Open.#119 In SnirBroshi/mathlib4;- Status: Open.#118 In SnirBroshi/mathlib4;
- Status: Open.#117 In SnirBroshi/mathlib4;
- Status: Open.#116 In SnirBroshi/mathlib4;
Use
Function.IsConsteverywherehelp wantedExtra attention is neededExtra attention is neededStatus: Open.#115 In SnirBroshi/mathlib4;[
SimpleGraph] Graham-Pollak theoremhelp wantedExtra attention is neededExtra attention is neededStatus: Open.#114 In SnirBroshi/mathlib4;- Status: Open.#113 In SnirBroshi/mathlib4;
[
SimpleGraph]completeBipartiteGraphmorphismshelp wantedExtra attention is neededExtra attention is neededStatus: Open.#112 In SnirBroshi/mathlib4;[
SimpleGraph/Bipartite] GeneralizebipartiteDoubleCoverhelp wantedExtra attention is neededExtra attention is neededStatus: Open.#111 In SnirBroshi/mathlib4;[
Digraph/Orientation] Gallai-Hasse-Roy-Vitaver theoremhelp wantedExtra attention is neededExtra attention is neededStatus: Open.#110 In SnirBroshi/mathlib4;[
SimpleGraph/LineGraph] Forbidden subgraphs characterizationhelp wantedExtra attention is neededExtra attention is neededStatus: Open.#109 In SnirBroshi/mathlib4;[
SimpleGraph/Cayley] Frucht's theoremhelp wantedExtra attention is neededExtra attention is neededStatus: Open.#108 In SnirBroshi/mathlib4;