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] - chore(topology/topological_fiber_bundle): reorganizing the code #7989

Closed
wants to merge 15 commits into from
Closed

[Merged by Bors] - chore(topology/topological_fiber_bundle): reorganizing the code #7989

wants to merge 15 commits into from

Commits on Jun 15, 2021

  1. checkopoint

    @Nicknamen
    Nicknamen committed Jun 15, 2021
    Configuration menu
    Copy the full SHA
    538b1f7 View commit details
    Browse the repository at this point in the history

Commits on Jun 17, 2021

  1. Prove of sigma_mk

    @Nicknamen
    Nicknamen committed Jun 17, 2021
    Configuration menu
    Copy the full SHA
    193333c View commit details
    Browse the repository at this point in the history

Commits on Jun 18, 2021

  1. Reorganized the code

    @Nicknamen
    Nicknamen committed Jun 18, 2021
    Configuration menu
    Copy the full SHA
    3b7ca99 View commit details
    Browse the repository at this point in the history

Commits on Jun 19, 2021

  1. Fixing mistake

    @Nicknamen
    Nicknamen committed Jun 19, 2021
    Configuration menu
    Copy the full SHA
    1b404df View commit details
    Browse the repository at this point in the history

Commits on Jun 20, 2021

  1. Fix second mistake

    @Nicknamen
    Nicknamen committed Jun 20, 2021
    Configuration menu
    Copy the full SHA
    6eaf958 View commit details
    Browse the repository at this point in the history

  2. Lint

    @Nicknamen
    Nicknamen committed Jun 20, 2021
    Configuration menu
    Copy the full SHA
    0c7ae71 View commit details
    Browse the repository at this point in the history

  3. Fixing problems

    @Nicknamen
    Nicknamen committed Jun 20, 2021
    Configuration menu
    Copy the full SHA
    d357496 View commit details
    Browse the repository at this point in the history

Commits on Jun 24, 2021

  1. Merge branch 'master' into topological_vector_bundle_core

    @Nicknamen
    Nicknamen committed Jun 24, 2021
    Configuration menu
    Copy the full SHA
    f783e3f View commit details
    Browse the repository at this point in the history

  2. Golf

    @Nicknamen
    Nicknamen committed Jun 24, 2021
    Configuration menu
    Copy the full SHA
    34eeba2 View commit details
    Browse the repository at this point in the history

Commits on Jun 26, 2021

  1. Sebastien's suggestions

    @Nicknamen
    Nicknamen committed Jun 26, 2021
    Configuration menu
    Copy the full SHA
    5e2f205 View commit details
    Browse the repository at this point in the history

  2. Removing topological_vector_bundle_core

    @Nicknamen
    Nicknamen committed Jun 26, 2021
    Configuration menu
    Copy the full SHA
    62bae42 View commit details
    Browse the repository at this point in the history

Commits on Jun 27, 2021

  1. total_space constructor

    @Nicknamen
    Nicknamen committed Jun 27, 2021
    Configuration menu
    Copy the full SHA
    1127472 View commit details
    Browse the repository at this point in the history

  2. Changing name of constructor

    @Nicknamen
    Nicknamen committed Jun 27, 2021
    Configuration menu
    Copy the full SHA
    7d3b8c5 View commit details
    Browse the repository at this point in the history

Commits on Jun 28, 2021

  1. Generalizing constructor

    @Nicknamen
    Nicknamen committed Jun 28, 2021
    Configuration menu
    Copy the full SHA
    ad1e27f View commit details
    Browse the repository at this point in the history

  2. Small correction

    @Nicknamen
    Nicknamen committed Jun 28, 2021
    Configuration menu
    Copy the full SHA
    795078f View commit details
    Browse the repository at this point in the history