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

feat(data/finset/grade): Finsets and multisets are graded #10865

Closed
wants to merge 12 commits into from
Closed

feat(data/finset/grade): Finsets and multisets are graded #10865

wants to merge 12 commits into from

Commits on Dec 17, 2021

  1. initial commit

    @YaelDillies
    YaelDillies committed Dec 17, 2021
    Configuration menu
    Copy the full SHA
    82fdfd0 View commit details
    Browse the repository at this point in the history

Commits on Dec 24, 2021

  1. Merge remote-tracking branch 'origin/master' into is_atom_set

    @YaelDillies
    YaelDillies committed Dec 24, 2021
    Configuration menu
    Copy the full SHA
    68e8eed View commit details
    Browse the repository at this point in the history

Commits on Mar 17, 2023

  1. Merge remote-tracking branch 'origin/master' into is_atom_set

    @YaelDillies
    YaelDillies committed Mar 17, 2023
    Configuration menu
    Copy the full SHA
    59c5b2a View commit details
    Browse the repository at this point in the history

  2. bump

    @YaelDillies
    YaelDillies committed Mar 17, 2023
    Configuration menu
    Copy the full SHA
    0480ec5 View commit details
    Browse the repository at this point in the history

Commits on Mar 20, 2023

  1. covby results

    @YaelDillies
    YaelDillies committed Mar 20, 2023
    Configuration menu
    Copy the full SHA
    bd1f481 View commit details
    Browse the repository at this point in the history

Commits on Jun 9, 2023

  1. Merge remote-tracking branch 'origin/master' into is_atom_set

    @YaelDillies
    YaelDillies committed Jun 9, 2023
    Configuration menu
    Copy the full SHA
    eafb849 View commit details
    Browse the repository at this point in the history

Commits on Jun 10, 2023

  1. sorry-free

    @YaelDillies
    YaelDillies committed Jun 10, 2023
    Configuration menu
    Copy the full SHA
    5fa966a View commit details
    Browse the repository at this point in the history

  2. move to the correct files

    @YaelDillies
    YaelDillies committed Jun 10, 2023
    Configuration menu
    Copy the full SHA
    efed213 View commit details
    Browse the repository at this point in the history

  3. erase lemmas

    @YaelDillies
    YaelDillies committed Jun 10, 2023
    Configuration menu
    Copy the full SHA
    ebc0820 View commit details
    Browse the repository at this point in the history

  4. closeds.is_atom_coe

    @YaelDillies
    YaelDillies committed Jun 10, 2023
    Configuration menu
    Copy the full SHA
    b4aecf5 View commit details
    Browse the repository at this point in the history

  5. fix order.cover

    @YaelDillies
    YaelDillies committed Jun 10, 2023
    Configuration menu
    Copy the full SHA
    cec28f9 View commit details
    Browse the repository at this point in the history

  6. fix topology.sets.closeds

    @YaelDillies
    YaelDillies committed Jun 10, 2023
    Configuration menu
    Copy the full SHA
    2fd63fb View commit details
    Browse the repository at this point in the history