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
- 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;[
Order] Jordan-Dedekind chain conditionhelp wantedExtra attention is neededExtra attention is neededStatus: Open.#107 In SnirBroshi/mathlib4;[
LinearAlgebra/Matrix/Hermitian] Sylvester's criterionhelp wantedExtra attention is neededExtra attention is neededStatus: Open.#106 In SnirBroshi/mathlib4;Renames:
id/compvsrefl/transhelp wantedExtra attention is neededExtra attention is neededStatus: Open.#105 In SnirBroshi/mathlib4;Rename
diagtodiagonaleverywherehelp wantedExtra attention is neededExtra attention is neededStatus: Open.#104 In SnirBroshi/mathlib4;[
LinearAlgebra/Matrix/ToLin] RenameMatrix.toLintoMatrix.toLinearMaphelp wantedExtra attention is neededExtra attention is neededStatus: Open.#103 In SnirBroshi/mathlib4;[
Algebra/Polynomial/Roots]Polynomial.[a]root[Fin]sethelp wantedExtra attention is neededExtra attention is neededStatus: Open.#102 In SnirBroshi/mathlib4;