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
[
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;CA and CN groups
help wantedExtra attention is neededExtra attention is neededStatus: Open.#101 In SnirBroshi/mathlib4;Define
Cardinal.chooseandENat.choosehelp wantedExtra attention is neededExtra attention is neededStatus: Open.#100 In SnirBroshi/mathlib4;[
Order/Zorn] Strengthen Zorn's lemma in preordershelp wantedExtra attention is neededExtra attention is neededStatus: Open.#99 In SnirBroshi/mathlib4;[
Topology] Continuous iff forall setshelp wantedExtra attention is neededExtra attention is neededStatus: Open.#98 In SnirBroshi/mathlib4;- Status: Open.#97 In SnirBroshi/mathlib4;
[
Order] An infinite complete boolean algebra is uncountablehelp wantedExtra attention is neededExtra attention is neededStatus: Open.#96 In SnirBroshi/mathlib4;- Status: Open.#95 In SnirBroshi/mathlib4;