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

Jump to bottom

refactor(perfectoid_space): beautification #34

Merged
merged 22 commits into from
May 3, 2019
Merged

refactor(perfectoid_space): beautification #34

merged 22 commits into from
May 3, 2019

Commits on Apr 30, 2019

  1. WIP -- changing machines

    @jcommelin
    jcommelin committed Apr 30, 2019
    Configuration menu
    Copy the full SHA
    5a0c37e View commit details
    Browse the repository at this point in the history

  2. Start on PreValuedRingedSpace, 2 sorries

    @jcommelin
    jcommelin committed Apr 30, 2019
    Configuration menu
    Copy the full SHA
    38560ab View commit details
    Browse the repository at this point in the history

  3. WIP

    @jcommelin
    jcommelin committed Apr 30, 2019
    Configuration menu
    Copy the full SHA
    5d0db55 View commit details
    Browse the repository at this point in the history

Commits on May 1, 2019

  1. Category structure on CVLRS

    @jcommelin
    jcommelin committed May 1, 2019
    Configuration menu
    Copy the full SHA
    2d83547 View commit details
    Browse the repository at this point in the history

  2. Create some nice isos

    @jcommelin
    jcommelin committed May 1, 2019
    Configuration menu
    Copy the full SHA
    583b4a9 View commit details
    Browse the repository at this point in the history

  3. unsorrying comp_id and id_comp

    @kbuzzard
    kbuzzard committed May 1, 2019
    Configuration menu
    Copy the full SHA
    a1653b9 View commit details
    Browse the repository at this point in the history

Commits on May 2, 2019

  1. Pretty clean definition of bundled perfectoid spaces

    @jcommelin
    jcommelin committed May 2, 2019
    Configuration menu
    Copy the full SHA
    3ab5284 View commit details
    Browse the repository at this point in the history

  2. Every perfectoid space is an adic space

    @jcommelin
    jcommelin committed May 2, 2019
    Configuration menu
    Copy the full SHA
    cdfdfad View commit details
    Browse the repository at this point in the history

Commits on May 3, 2019

  1. Get rid of universes, add some comments

    @jcommelin
    jcommelin committed May 3, 2019
    Configuration menu
    Copy the full SHA
    ed9ba34 View commit details
    Browse the repository at this point in the history

  2. Remove everything after the definition of PerfectoidSpace

    @jcommelin
    jcommelin committed May 3, 2019
    Configuration menu
    Copy the full SHA
    deafb72 View commit details
    Browse the repository at this point in the history

  3. Notation for: nonempty (A ≅ B)

    @jcommelin
    jcommelin committed May 3, 2019
    Configuration menu
    Copy the full SHA
    237d631 View commit details
    Browse the repository at this point in the history

  4. CVLRS -> CLVRS

    @jcommelin
    jcommelin committed May 3, 2019
    Configuration menu
    Copy the full SHA
    9efd8c6 View commit details
    Browse the repository at this point in the history

  5. rename Spa → spa, Spa' → Spa

    @jcommelin
    jcommelin committed May 3, 2019
    Configuration menu
    Copy the full SHA
    156d04d View commit details
    Browse the repository at this point in the history

  6. Remove local infix notation at end of files

    @jcommelin
    jcommelin committed May 3, 2019
    Configuration menu
    Copy the full SHA
    4c0f2a5 View commit details
    Browse the repository at this point in the history

  7. Remove old commented code

    @jcommelin
    jcommelin committed May 3, 2019
    Configuration menu
    Copy the full SHA
    d0fa253 View commit details
    Browse the repository at this point in the history

  8. Write out Bourbaki's name in full

    @jcommelin
    jcommelin committed May 3, 2019
    Configuration menu
    Copy the full SHA
    4f82685 View commit details
    Browse the repository at this point in the history

  9. Missed a local infix

    @jcommelin
    jcommelin committed May 3, 2019
    Configuration menu
    Copy the full SHA
    774223c View commit details
    Browse the repository at this point in the history

  10. Mention Wedhorn's 𝒱 in the docstring of CLVRS

    @jcommelin
    jcommelin committed May 3, 2019
    Configuration menu
    Copy the full SHA
    d4cf657 View commit details
    Browse the repository at this point in the history

  11. Remove McC and McV

    @jcommelin
    jcommelin committed May 3, 2019
    Configuration menu
    Copy the full SHA
    ff248d0 View commit details
    Browse the repository at this point in the history

  12. Remove superfluous imports

    @jcommelin
    jcommelin committed May 3, 2019
    Configuration menu
    Copy the full SHA
    94e18e0 View commit details
    Browse the repository at this point in the history

  13. Revert "Remove superfluous imports" 

    This reverts commit 94e18e0.
    @jcommelin
    jcommelin committed May 3, 2019
    Configuration menu
    Copy the full SHA
    f7c3806 View commit details
    Browse the repository at this point in the history

  14. Move ugly imports to a lower place in the hierarchy

    @jcommelin
    jcommelin committed May 3, 2019
    Configuration menu
    Copy the full SHA
    203e6d6 View commit details
    Browse the repository at this point in the history