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
[
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;
[
AlgebraandOrder] MissingCompleteLatticeinstanceshelp wantedExtra attention is neededExtra attention is neededStatus: Open.#94 In SnirBroshi/mathlib4;- Status: Open.#93 In SnirBroshi/mathlib4;
[
AlgebraandOrder] Properties of subobject latticeshelp wantedExtra attention is neededExtra attention is neededStatus: Open.#91 In SnirBroshi/mathlib4;- Status: Open.#90 In SnirBroshi/mathlib4;
[
Order] Mac Lane's condition for upper-modular latticeshelp wantedExtra attention is neededExtra attention is neededStatus: Open.#89 In SnirBroshi/mathlib4;[
Algebra&Order] Properties of the divisor latticehelp wantedExtra attention is neededExtra attention is neededStatus: Open.#88 In SnirBroshi/mathlib4;Relate list predicates with their counterparts
help wantedExtra attention is neededExtra attention is neededStatus: Open.#87 In SnirBroshi/mathlib4;[
GroupTheory] Locally cyclic groupshelp wantedExtra attention is neededExtra attention is neededStatus: Open.#86 In SnirBroshi/mathlib4;[
GroupTheory&Order] Lattice-isomorphic groupshelp wantedExtra attention is neededExtra attention is neededStatus: Open.#85 In SnirBroshi/mathlib4;[
GroupTheory&Order] Ore's theoremhelp wantedExtra attention is neededExtra attention is neededStatus: Open.#84 In SnirBroshi/mathlib4;