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: port Algebra.Group.WithOne.Basic #922

Closed
wants to merge 6 commits into from
Closed

[Merged by Bors] - feat: port Algebra.Group.WithOne.Basic #922

wants to merge 6 commits into from

Commits on Dec 8, 2022

  1. raw mathport: 4dc134b97a3de65ef2ed881f3513d56260971562

    @j-loreaux
    j-loreaux committed Dec 8, 2022
    Copy the full SHA
    57fa405 View commit details
    Browse the repository at this point in the history

  2. get it compiling

    @j-loreaux
    j-loreaux committed Dec 8, 2022
    Copy the full SHA
    c3e481c View commit details
    Browse the repository at this point in the history

  3. fix naming and docstrings

    @j-loreaux
    j-loreaux committed Dec 8, 2022
    Copy the full SHA
    3b42752 View commit details
    Browse the repository at this point in the history

  4. add import

    @j-loreaux
    j-loreaux committed Dec 8, 2022
    Copy the full SHA
    25ea88f View commit details
    Browse the repository at this point in the history

  5. small fixes

    @j-loreaux
    j-loreaux committed Dec 8, 2022
    Copy the full SHA
    8049d6c View commit details
    Browse the repository at this point in the history

  6. fix import order

    @j-loreaux
    j-loreaux committed Dec 8, 2022
    Copy the full SHA
    f67775e View commit details
    Browse the repository at this point in the history