-
Notifications
You must be signed in to change notification settings - Fork 331
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.
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
feat(Topology/Group/Profinite): Profinite group is limit of finite group #16992
base: master
Are you sure you want to change the base?
Commits on Sep 20, 2024
-
Configuration menu - View commit details
-
Copy full SHA for fd67dad - Browse repository at this point
Copy the full SHA fd67dadView commit details -
Configuration menu - View commit details
-
Copy full SHA for 0bfb53b - Browse repository at this point
Copy the full SHA 0bfb53bView commit details -
Configuration menu - View commit details
-
Copy full SHA for 50972f4 - Browse repository at this point
Copy the full SHA 50972f4View commit details -
Configuration menu - View commit details
-
Copy full SHA for f2c089d - Browse repository at this point
Copy the full SHA f2c089dView commit details -
Configuration menu - View commit details
-
Copy full SHA for 93669a4 - Browse repository at this point
Copy the full SHA 93669a4View commit details -
Configuration menu - View commit details
-
Copy full SHA for 9027a87 - Browse repository at this point
Copy the full SHA 9027a87View commit details -
Configuration menu - View commit details
-
Copy full SHA for 9da7264 - Browse repository at this point
Copy the full SHA 9da7264View commit details -
Configuration menu - View commit details
-
Copy full SHA for 45bf888 - Browse repository at this point
Copy the full SHA 45bf888View commit details -
Configuration menu - View commit details
-
Copy full SHA for e971d2f - Browse repository at this point
Copy the full SHA e971d2fView commit details -
Configuration menu - View commit details
-
Copy full SHA for 56427be - Browse repository at this point
Copy the full SHA 56427beView commit details -
Configuration menu - View commit details
-
Copy full SHA for 67ba1df - Browse repository at this point
Copy the full SHA 67ba1dfView commit details
Commits on Sep 21, 2024
-
Configuration menu - View commit details
-
Copy full SHA for c4b9518 - Browse repository at this point
Copy the full SHA c4b9518View commit details -
Configuration menu - View commit details
-
Copy full SHA for 079f9c5 - Browse repository at this point
Copy the full SHA 079f9c5View commit details -
Configuration menu - View commit details
-
Copy full SHA for 02a364a - Browse repository at this point
Copy the full SHA 02a364aView commit details -
Configuration menu - View commit details
-
Copy full SHA for 542d202 - Browse repository at this point
Copy the full SHA 542d202View commit details -
Configuration menu - View commit details
-
Copy full SHA for ef9411e - Browse repository at this point
Copy the full SHA ef9411eView commit details -
Configuration menu - View commit details
-
Copy full SHA for c82bbcf - Browse repository at this point
Copy the full SHA c82bbcfView commit details -
Configuration menu - View commit details
-
Copy full SHA for d77dc44 - Browse repository at this point
Copy the full SHA d77dc44View commit details -
Configuration menu - View commit details
-
Copy full SHA for 6f7e223 - Browse repository at this point
Copy the full SHA 6f7e223View commit details -
Configuration menu - View commit details
-
Copy full SHA for b8c2c87 - Browse repository at this point
Copy the full SHA b8c2c87View commit details -
Configuration menu - View commit details
-
Copy full SHA for 0833559 - Browse repository at this point
Copy the full SHA 0833559View commit details -
Merge branch 'open-normal-subgroup-in-clopen-nhds' into profinite-gro…
…up-is-limit-of-finite-group
Configuration menu - View commit details
-
Copy full SHA for 03da44f - Browse repository at this point
Copy the full SHA 03da44fView commit details -
Configuration menu - View commit details
-
Copy full SHA for 14f9a55 - Browse repository at this point
Copy the full SHA 14f9a55View commit details -
Configuration menu - View commit details
-
Copy full SHA for fe7f7af - Browse repository at this point
Copy the full SHA fe7f7afView commit details -
Configuration menu - View commit details
-
Copy full SHA for ccdb4d3 - Browse repository at this point
Copy the full SHA ccdb4d3View commit details -
Configuration menu - View commit details
-
Copy full SHA for 71c477e - Browse repository at this point
Copy the full SHA 71c477eView commit details
Commits on Sep 22, 2024
-
Configuration menu - View commit details
-
Copy full SHA for ceeefd2 - Browse repository at this point
Copy the full SHA ceeefd2View commit details -
Configuration menu - View commit details
-
Copy full SHA for 18aac9a - Browse repository at this point
Copy the full SHA 18aac9aView commit details -
Configuration menu - View commit details
-
Copy full SHA for ca14e96 - Browse repository at this point
Copy the full SHA ca14e96View commit details -
Configuration menu - View commit details
-
Copy full SHA for 28d59db - Browse repository at this point
Copy the full SHA 28d59dbView commit details -
Configuration menu - View commit details
-
Copy full SHA for 81033f6 - Browse repository at this point
Copy the full SHA 81033f6View commit details -
Configuration menu - View commit details
-
Copy full SHA for 22d99bc - Browse repository at this point
Copy the full SHA 22d99bcView commit details -
Merge branch 'open-normal-subgroup-in-clopen-nhds' into profinite-gro…
…up-is-limit-of-finite-group
Configuration menu - View commit details
-
Copy full SHA for 78b71f1 - Browse repository at this point
Copy the full SHA 78b71f1View commit details -
Configuration menu - View commit details
-
Copy full SHA for 3783f5c - Browse repository at this point
Copy the full SHA 3783f5cView commit details -
Configuration menu - View commit details
-
Copy full SHA for 30d6250 - Browse repository at this point
Copy the full SHA 30d6250View commit details -
Configuration menu - View commit details
-
Copy full SHA for da57225 - Browse repository at this point
Copy the full SHA da57225View commit details
Commits on Sep 23, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 4b5dadb - Browse repository at this point
Copy the full SHA 4b5dadbView commit details -
Configuration menu - View commit details
-
Copy full SHA for 8d88664 - Browse repository at this point
Copy the full SHA 8d88664View commit details -
Configuration menu - View commit details
-
Copy full SHA for 9cddc2a - Browse repository at this point
Copy the full SHA 9cddc2aView commit details -
Configuration menu - View commit details
-
Copy full SHA for 6cf5cd8 - Browse repository at this point
Copy the full SHA 6cf5cd8View commit details -
Configuration menu - View commit details
-
Copy full SHA for 33abf7b - Browse repository at this point
Copy the full SHA 33abf7bView commit details -
Configuration menu - View commit details
-
Copy full SHA for bfe6f4c - Browse repository at this point
Copy the full SHA bfe6f4cView commit details -
Configuration menu - View commit details
-
Copy full SHA for 78944c0 - Browse repository at this point
Copy the full SHA 78944c0View commit details -
Configuration menu - View commit details
-
Copy full SHA for b7c18ce - Browse repository at this point
Copy the full SHA b7c18ceView commit details -
Merge branch 'limit-in-profinite-group' into profinite-group-is-limit…
…-of-finite-group
Configuration menu - View commit details
-
Copy full SHA for ba54b28 - Browse repository at this point
Copy the full SHA ba54b28View commit details -
Configuration menu - View commit details
-
Copy full SHA for 58d7b26 - Browse repository at this point
Copy the full SHA 58d7b26View commit details -
Configuration menu - View commit details
-
Copy full SHA for 51c5052 - Browse repository at this point
Copy the full SHA 51c5052View commit details -
Merge branch 'limit-in-profinite-group' into profinite-group-is-limit…
…-of-finite-group
Configuration menu - View commit details
-
Copy full SHA for d54457d - Browse repository at this point
Copy the full SHA d54457dView commit details -
Configuration menu - View commit details
-
Copy full SHA for b323e47 - Browse repository at this point
Copy the full SHA b323e47View commit details -
Configuration menu - View commit details
-
Copy full SHA for 2be680c - Browse repository at this point
Copy the full SHA 2be680cView commit details -
Configuration menu - View commit details
-
Copy full SHA for a1af760 - Browse repository at this point
Copy the full SHA a1af760View commit details -
Merge branch 'limit-in-profinite-group' into profinite-group-is-limit…
…-of-finite-group
Configuration menu - View commit details
-
Copy full SHA for 752a6ff - Browse repository at this point
Copy the full SHA 752a6ffView commit details -
Configuration menu - View commit details
-
Copy full SHA for ea005a1 - Browse repository at this point
Copy the full SHA ea005a1View commit details -
Configuration menu - View commit details
-
Copy full SHA for 3c83d8e - Browse repository at this point
Copy the full SHA 3c83d8eView commit details
Commits on Sep 24, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 6cc5643 - Browse repository at this point
Copy the full SHA 6cc5643View commit details -
Merge branch 'limit-in-profinite-group' into profinite-group-is-limit…
…-of-finite-group
Configuration menu - View commit details
-
Copy full SHA for e2954a6 - Browse repository at this point
Copy the full SHA e2954a6View commit details
Commits on Sep 27, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 9ca1b8c - Browse repository at this point
Copy the full SHA 9ca1b8cView commit details -
Merge branch 'limit-in-profinite-group' into profinite-group-is-limit…
…-of-finite-group
Configuration menu - View commit details
-
Copy full SHA for 2de3b53 - Browse repository at this point
Copy the full SHA 2de3b53View commit details -
Configuration menu - View commit details
-
Copy full SHA for 129006c - Browse repository at this point
Copy the full SHA 129006cView commit details
Commits on Sep 28, 2024
-
Configuration menu - View commit details
-
Copy full SHA for d0b2840 - Browse repository at this point
Copy the full SHA d0b2840View commit details
Commits on Sep 29, 2024
-
Merge branch 'limit-in-profinite-group' into profinite-group-is-limit…
…-of-finite-group
Configuration menu - View commit details
-
Copy full SHA for 160e25f - Browse repository at this point
Copy the full SHA 160e25fView commit details -
Configuration menu - View commit details
-
Copy full SHA for d237a57 - Browse repository at this point
Copy the full SHA d237a57View commit details -
Configuration menu - View commit details
-
Copy full SHA for 7699ae8 - Browse repository at this point
Copy the full SHA 7699ae8View commit details -
Configuration menu - View commit details
-
Copy full SHA for d0fefb0 - Browse repository at this point
Copy the full SHA d0fefb0View commit details -
Merge remote-tracking branch 'upstream/master' into open-normal-subgr…
…oup-in-clopen-nhds
Configuration menu - View commit details
-
Copy full SHA for 5e90673 - Browse repository at this point
Copy the full SHA 5e90673View commit details -
Configuration menu - View commit details
-
Copy full SHA for 6a1a275 - Browse repository at this point
Copy the full SHA 6a1a275View commit details -
Merge branch 'open-normal-subgroup-in-clopen-nhds' into profinite-gro…
…up-is-limit-of-finite-group
Configuration menu - View commit details
-
Copy full SHA for e6c4be7 - Browse repository at this point
Copy the full SHA e6c4be7View commit details -
Configuration menu - View commit details
-
Copy full SHA for 4368cd6 - Browse repository at this point
Copy the full SHA 4368cd6View commit details -
Configuration menu - View commit details
-
Copy full SHA for 2698377 - Browse repository at this point
Copy the full SHA 2698377View commit details -
Merge branch 'open-normal-subgroup-in-clopen-nhds' into profinite-gro…
…up-is-limit-of-finite-group
Configuration menu - View commit details
-
Copy full SHA for 70b5805 - Browse repository at this point
Copy the full SHA 70b5805View commit details -
Configuration menu - View commit details
-
Copy full SHA for fbdf631 - Browse repository at this point
Copy the full SHA fbdf631View commit details -
Configuration menu - View commit details
-
Copy full SHA for 950ea17 - Browse repository at this point
Copy the full SHA 950ea17View commit details -
Configuration menu - View commit details
-
Copy full SHA for a3b5ea3 - Browse repository at this point
Copy the full SHA a3b5ea3View commit details
Commits on Oct 1, 2024
-
Configuration menu - View commit details
-
Copy full SHA for bd2212b - Browse repository at this point
Copy the full SHA bd2212bView commit details -
Configuration menu - View commit details
-
Copy full SHA for dc64612 - Browse repository at this point
Copy the full SHA dc64612View commit details -
Configuration menu - View commit details
-
Copy full SHA for 91e47ca - Browse repository at this point
Copy the full SHA 91e47caView commit details -
Configuration menu - View commit details
-
Copy full SHA for 1ff2e92 - Browse repository at this point
Copy the full SHA 1ff2e92View commit details
Commits on Oct 4, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 3d0d5a7 - Browse repository at this point
Copy the full SHA 3d0d5a7View commit details -
Configuration menu - View commit details
-
Copy full SHA for a1dcf48 - Browse repository at this point
Copy the full SHA a1dcf48View commit details
Commits on Oct 14, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 4c93d2b - Browse repository at this point
Copy the full SHA 4c93d2bView commit details -
Configuration menu - View commit details
-
Copy full SHA for 1539108 - Browse repository at this point
Copy the full SHA 1539108View commit details -
Merge branch 'open-normal-subgroup-in-clopen-nhds' into profinite-gro…
…up-is-limit-of-finite-group
Configuration menu - View commit details
-
Copy full SHA for 4738bb1 - Browse repository at this point
Copy the full SHA 4738bb1View commit details -
Configuration menu - View commit details
-
Copy full SHA for b5fce9b - Browse repository at this point
Copy the full SHA b5fce9bView commit details
Commits on Oct 17, 2024
-
Configuration menu - View commit details
-
Copy full SHA for f62e7fc - Browse repository at this point
Copy the full SHA f62e7fcView commit details -
Configuration menu - View commit details
-
Copy full SHA for 0e63833 - Browse repository at this point
Copy the full SHA 0e63833View commit details
Commits on Oct 18, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 9e563a0 - Browse repository at this point
Copy the full SHA 9e563a0View commit details -
Merge remote-tracking branch 'upstream/Infinite-Galois-Theory-New-Bas…
…e-ver' into continuous-isomorphism
Configuration menu - View commit details
-
Copy full SHA for b44ef59 - Browse repository at this point
Copy the full SHA b44ef59View commit details
Commits on Oct 19, 2024
-
Merge remote-tracking branch 'upstream/Infinite-Galois-Theory-New-New…
…-Base-ver' into continuous-isomorphism
Configuration menu - View commit details
-
Copy full SHA for a255eda - Browse repository at this point
Copy the full SHA a255edaView commit details -
Configuration menu - View commit details
-
Copy full SHA for 3f41bd1 - Browse repository at this point
Copy the full SHA 3f41bd1View commit details -
Merge remote-tracking branch 'upstream/Infinite-Galois-Theory-New-New…
…-Base-ver' into open-normal-subgroup-in-clopen-nhds
Configuration menu - View commit details
-
Copy full SHA for 15d439b - Browse repository at this point
Copy the full SHA 15d439bView commit details -
Configuration menu - View commit details
-
Copy full SHA for c090878 - Browse repository at this point
Copy the full SHA c090878View commit details
Commits on Oct 21, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 6f50182 - Browse repository at this point
Copy the full SHA 6f50182View commit details -
Configuration menu - View commit details
-
Copy full SHA for 2bbaa26 - Browse repository at this point
Copy the full SHA 2bbaa26View commit details -
Configuration menu - View commit details
-
Copy full SHA for 8738881 - Browse repository at this point
Copy the full SHA 8738881View commit details -
Configuration menu - View commit details
-
Copy full SHA for 4e24e49 - Browse repository at this point
Copy the full SHA 4e24e49View commit details
Commits on Oct 23, 2024
-
Merge remote-tracking branch 'upstream/Infinite-Galois-Theory-New-Bas…
…e-ver' into open-normal-subgroup-in-clopen-nhds
Configuration menu - View commit details
-
Copy full SHA for b1f3d14 - Browse repository at this point
Copy the full SHA b1f3d14View commit details
Commits on Oct 26, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 0b49c65 - Browse repository at this point
Copy the full SHA 0b49c65View commit details -
Merge branch 'open-normal-subgroup-in-clopen-nhds' into profinite-gro…
…up-is-limit-of-finite-group
Configuration menu - View commit details
-
Copy full SHA for 9aadcb4 - Browse repository at this point
Copy the full SHA 9aadcb4View commit details -
Configuration menu - View commit details
-
Copy full SHA for be1ac05 - Browse repository at this point
Copy the full SHA be1ac05View commit details -
Merge branch 'open-normal-subgroup-in-clopen-nhds' into profinite-gro…
…up-is-limit-of-finite-group
Configuration menu - View commit details
-
Copy full SHA for 83ab8ed - Browse repository at this point
Copy the full SHA 83ab8edView commit details -
Configuration menu - View commit details
-
Copy full SHA for 7fd971c - Browse repository at this point
Copy the full SHA 7fd971cView commit details -
Merge branch 'open-normal-subgroup-in-clopen-nhds' into profinite-gro…
…up-is-limit-of-finite-group
Configuration menu - View commit details
-
Copy full SHA for 070f392 - Browse repository at this point
Copy the full SHA 070f392View commit details
Commits on Oct 27, 2024
-
Configuration menu - View commit details
-
Copy full SHA for a1fa303 - Browse repository at this point
Copy the full SHA a1fa303View commit details -
Merge branch 'open-normal-subgroup-in-clopen-nhds' into profinite-gro…
…up-is-limit-of-finite-group
Configuration menu - View commit details
-
Copy full SHA for f46e204 - Browse repository at this point
Copy the full SHA f46e204View commit details
Commits on Oct 29, 2024
-
use `IsCompact.induction`_on to reconstruct proofs
Configuration menu - View commit details
-
Copy full SHA for 510506d - Browse repository at this point
Copy the full SHA 510506dView commit details -
Merge branch 'open-normal-subgroup-in-clopen-nhds' into profinite-gro…
…up-is-limit-of-finite-group
Configuration menu - View commit details
-
Copy full SHA for cde653a - Browse repository at this point
Copy the full SHA cde653aView commit details -
Configuration menu - View commit details
-
Copy full SHA for f0a504c - Browse repository at this point
Copy the full SHA f0a504cView commit details -
Merge branch 'open-normal-subgroup-in-clopen-nhds' into profinite-gro…
…up-is-limit-of-finite-group
Configuration menu - View commit details
-
Copy full SHA for 5a70645 - Browse repository at this point
Copy the full SHA 5a70645View commit details -
Configuration menu - View commit details
-
Copy full SHA for a9e4584 - Browse repository at this point
Copy the full SHA a9e4584View commit details -
prove every clopen nhd of one contain an open subgroup
also proved that every clopen nhd of one contain an open normal subgroup, but put in another file because of the need of more import.
Configuration menu - View commit details
-
Copy full SHA for a028fb6 - Browse repository at this point
Copy the full SHA a028fb6View commit details -
Merge branch 'open-normal-subgroup-in-clopen-nhds-of-one' into profin…
…ite-group-is-limit-of-finite-group
Configuration menu - View commit details
-
Copy full SHA for 5c5a4d3 - Browse repository at this point
Copy the full SHA 5c5a4d3View commit details -
Configuration menu - View commit details
-
Copy full SHA for 82966d3 - Browse repository at this point
Copy the full SHA 82966d3View commit details -
Configuration menu - View commit details
-
Copy full SHA for e772471 - Browse repository at this point
Copy the full SHA e772471View commit details -
Configuration menu - View commit details
-
Copy full SHA for cfc7818 - Browse repository at this point
Copy the full SHA cfc7818View commit details -
Merge remote-tracking branch 'upstream/master' into open-normal-subgr…
…oup-in-clopen-nhds-of-one
Configuration menu - View commit details
-
Copy full SHA for 77353bc - Browse repository at this point
Copy the full SHA 77353bcView commit details
Commits on Oct 30, 2024
-
Configuration menu - View commit details
-
Copy full SHA for c3e6b8f - Browse repository at this point
Copy the full SHA c3e6b8fView commit details -
Merge branch 'open-normal-subgroup-in-clopen-nhds-of-one' into profin…
…ite-group-is-limit-of-finite-group
Configuration menu - View commit details
-
Copy full SHA for 6cbb225 - Browse repository at this point
Copy the full SHA 6cbb225View commit details -
fix proofs with new definition
the change from definition (not canonical) and property into lemma describing existence
Configuration menu - View commit details
-
Copy full SHA for 0b6636b - Browse repository at this point
Copy the full SHA 0b6636bView commit details -
Including the following: 1 : fix naming (including naming of props in the proof) 2 : update docstring 3 : use dot notation as possible
Configuration menu - View commit details
-
Copy full SHA for ac49c16 - Browse repository at this point
Copy the full SHA ac49c16View commit details -
Configuration menu - View commit details
-
Copy full SHA for 7bc46ad - Browse repository at this point
Copy the full SHA 7bc46adView commit details -
Configuration menu - View commit details
-
Copy full SHA for 95e4a73 - Browse repository at this point
Copy the full SHA 95e4a73View commit details -
also fix naming for the change from def to lemma
Configuration menu - View commit details
-
Copy full SHA for e882944 - Browse repository at this point
Copy the full SHA e882944View commit details -
Merge branch 'open-normal-subgroup-in-clopen-nhds-of-one' into profin…
…ite-group-is-limit-of-finite-group
Configuration menu - View commit details
-
Copy full SHA for 0b4fd00 - Browse repository at this point
Copy the full SHA 0b4fd00View commit details -
Configuration menu - View commit details
-
Copy full SHA for 3623826 - Browse repository at this point
Copy the full SHA 3623826View commit details
Commits on Oct 31, 2024
-
Merge remote-tracking branch 'upstream/master' into profinite-group-i…
…s-limit-of-finite-group
Configuration menu - View commit details
-
Copy full SHA for ea429f1 - Browse repository at this point
Copy the full SHA ea429f1View commit details -
Configuration menu - View commit details
-
Copy full SHA for 45d9435 - Browse repository at this point
Copy the full SHA 45d9435View commit details -
Configuration menu - View commit details
-
Copy full SHA for f4ce0ca - Browse repository at this point
Copy the full SHA f4ce0caView commit details -
Configuration menu - View commit details
-
Copy full SHA for 3207622 - Browse repository at this point
Copy the full SHA 3207622View commit details