-
Notifications
You must be signed in to change notification settings - Fork 1.6k
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
Define a typeclass for GO-space
good first issueGood for newcomersGood for newcomerst-topologyTopological spaces, uniform spaces, metric spaces, filtersTopological spaces, uniform spaces, metric spaces, filtersStatus: Open.#42275 In leanprover-community/mathlib4;- Status: Open.#42155 In leanprover-community/mathlib4;
- Status: Open.#42057 In leanprover-community/mathlib4;
- Status: Open.#42039 In leanprover-community/mathlib4;
- Status: Open.#41881 In leanprover-community/mathlib4;
- Status: Open.#41471 In leanprover-community/mathlib4;
- Status: Open.#41384 In leanprover-community/mathlib4;
- Status: Open.#40993 In leanprover-community/mathlib4;
- Status: Open.#40635 In leanprover-community/mathlib4;
Morphism classes not used for integration and related issues
t-topologyTopological spaces, uniform spaces, metric spaces, filtersTopological spaces, uniform spaces, metric spaces, filtersStatus: Open.#40487 In leanprover-community/mathlib4;- Status: Open.#40183 In leanprover-community/mathlib4;
- Status: Open.#40065 In leanprover-community/mathlib4;