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

[Merged by Bors] - feat(topology/sheaves): Induced map on stalks #7092

Closed
wants to merge 21 commits into from
Closed

[Merged by Bors] - feat(topology/sheaves): Induced map on stalks #7092

wants to merge 21 commits into from

Commits on Mar 29, 2021

  1. feat(topology/sheaves/sheaf_condition): Sheaf condition in terms of u… 

    …nique gluing
    @justus-springer
    justus-springer committed Mar 29, 2021
    Configuration menu
    Copy the full SHA
    7065a57 View commit details
    Browse the repository at this point in the history

  2. make the linter happy

    @justus-springer
    justus-springer committed Mar 29, 2021
    Configuration menu
    Copy the full SHA
    41f6722 View commit details
    Browse the repository at this point in the history

  3. fix typo in theorem name

    @justus-springer
    justus-springer committed Mar 29, 2021
    Configuration menu
    Copy the full SHA
    41620ec View commit details
    Browse the repository at this point in the history

  4. lint

    @justus-springer
    justus-springer committed Mar 29, 2021
    Configuration menu
    Copy the full SHA
    d8b8aeb View commit details
    Browse the repository at this point in the history

  5. fix another typo

    @justus-springer
    justus-springer committed Mar 29, 2021
    Configuration menu
    Copy the full SHA
    2c9f99f View commit details
    Browse the repository at this point in the history

  6. now its correct

    @justus-springer
    justus-springer committed Mar 29, 2021
    Configuration menu
    Copy the full SHA
    4727852 View commit details
    Browse the repository at this point in the history

Commits on Mar 30, 2021

  1. refactor(topology/sheaves): Refactor proofs of the sheaf condition

    @justus-springer
    justus-springer committed Mar 30, 2021
    Configuration menu
    Copy the full SHA
    8182398 View commit details
    Browse the repository at this point in the history

  2. lint

    @justus-springer
    justus-springer committed Mar 30, 2021
    Configuration menu
    Copy the full SHA
    85e687d View commit details
    Browse the repository at this point in the history

Commits on Apr 7, 2021

  1. feat(topology/sheaves): Induced map on stalks

    @justus-springer
    justus-springer committed Apr 7, 2021
    Configuration menu
    Copy the full SHA
    cca77c6 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into stalk_map

    @justus-springer
    justus-springer committed Apr 7, 2021
    Configuration menu
    Copy the full SHA
    59038a0 View commit details
    Browse the repository at this point in the history

  3. lint

    @justus-springer
    justus-springer committed Apr 7, 2021
    Configuration menu
    Copy the full SHA
    8271556 View commit details
    Browse the repository at this point in the history

  4. some fixes

    @justus-springer
    justus-springer committed Apr 7, 2021
    Configuration menu
    Copy the full SHA
    a0b3db5 View commit details
    Browse the repository at this point in the history

  5. change def to lemma

    @justus-springer
    justus-springer committed Apr 7, 2021
    Configuration menu
    Copy the full SHA
    41b5750 View commit details
    Browse the repository at this point in the history

Commits on Apr 8, 2021

  1. Apply suggestions from code review 

    Co-authored-by: Scott Morrison <scott.morrison@gmail.com>
Co-authored-by: Johan Commelin <johan@commelin.net>
Co-authored-by: Eric <37984851+ericrbg@users.noreply.github.com>
    @justus-springer @semorrison
    @jcommelin @ericrbg
    4 people committed Apr 8, 2021
    Configuration menu
    Copy the full SHA
    37e69e1 View commit details
    Browse the repository at this point in the history

  2. implement changes from code review

    @justus-springer
    justus-springer committed Apr 8, 2021
    Configuration menu
    Copy the full SHA
    2e05bb7 View commit details
    Browse the repository at this point in the history

  3. should have pulled before

    @justus-springer
    justus-springer committed Apr 8, 2021
    Configuration menu
    Copy the full SHA
    ccedb4b View commit details
    Browse the repository at this point in the history

Commits on Apr 9, 2021

  1. add simp lemma

    @justus-springer
    justus-springer committed Apr 9, 2021
    Configuration menu
    Copy the full SHA
    074e0df View commit details
    Browse the repository at this point in the history

  2. remove stalk_map definition

    @justus-springer
    justus-springer committed Apr 9, 2021
    Configuration menu
    Copy the full SHA
    282d8da View commit details
    Browse the repository at this point in the history

  3. lint

    @justus-springer
    justus-springer committed Apr 9, 2021
    Configuration menu
    Copy the full SHA
    3a1241c View commit details
    Browse the repository at this point in the history

Commits on Apr 10, 2021

  1. change some names

    @justus-springer
    justus-springer committed Apr 10, 2021
    Configuration menu
    Copy the full SHA
    0cef4e2 View commit details
    Browse the repository at this point in the history

  2. reorder things

    @justus-springer
    justus-springer committed Apr 10, 2021
    Configuration menu
    Copy the full SHA
    d4efaf1 View commit details
    Browse the repository at this point in the history