Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

WIP Manifolds #30

Draft
wants to merge 14 commits into
base: WIP_EuclideanSpaces
Choose a base branch
from
Draft

WIP Manifolds #30

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
14 commits
Select commit Hold shift + click to select a range
5a250db
Add Manifolds
siraben May 24, 2021
49df081
Preliminary definitions
siraben May 24, 2021
d683ef9
Prove locally_homeomorphic is reflexive
siraben May 25, 2021
8001c35
Change definition of locally_homeomorphic
siraben May 25, 2021
811b6ca
Reorder imports
siraben Jun 1, 2021
fb582ee
Add additional lemmas
siraben Jun 1, 2021
e1402bd
Move lemma that `id` is a homeomorphism
Columbus240 Jun 1, 2021
93ac396
Restrictions of homeomorphisms are homeomorphisms
Columbus240 Jun 1, 2021
922560b
Begin proof that `RTop` and `ℝ¹` are homeomorphic
Columbus240 Jun 1, 2021
4c48ad3
TMP: Use the new formalisation of euclidean spaces
Columbus240 Oct 9, 2021
dd23f78
Study invariance of dimension and local homeo.
Columbus240 Dec 20, 2021
778bbd6
Manifolds: more on transitivity of locally homeo.
Columbus240 Dec 21, 2021
4f35788
TMP: Add conjectures about classification of mfds
Columbus240 Dec 26, 2021
014c7f2
TMP: Do some more on manifolds
Columbus240 Feb 13, 2022
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 1 addition & 0 deletions _CoqProject
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -16,6 +16,7 @@ theories/Topology/FilterLimits.v
theories/Topology/FiltersAndNets.v
theories/Topology/Homeomorphisms.v
theories/Topology/InteriorsClosures.v
theories/Topology/Manifolds.v
theories/Topology/MetricSpaces.v
theories/Topology/NeighborhoodBases.v
theories/Topology/Neighborhoods.v
Expand Down
Loading