Skip to content
This repository has been archived by the owner on Jul 24, 2024. It is now read-only.

feat(set_theory/game/pgame): define pgame.identical pgame.memₗ pgame.memᵣ #18515

Closed
wants to merge 22 commits into from
Closed

feat(set_theory/game/pgame): define pgame.identical pgame.memₗ pgame.memᵣ #18515

wants to merge 22 commits into from

Commits on Feb 28, 2023

  1. feat(set_theory/game/pgame): define pgame.identical

    @FR-vdash-bot
    FR-vdash-bot committed Feb 28, 2023
    Configuration menu
    Copy the full SHA
    855fd1c View commit details
    Browse the repository at this point in the history

  2. docs, protected

    @FR-vdash-bot
    FR-vdash-bot committed Feb 28, 2023
    Configuration menu
    Copy the full SHA
    1b3d193 View commit details
    Browse the repository at this point in the history

  3. mem mul

    @FR-vdash-bot
    FR-vdash-bot committed Feb 28, 2023
    Configuration menu
    Copy the full SHA
    fe39647 View commit details
    Browse the repository at this point in the history

  4. mul_comm

    @FR-vdash-bot
    FR-vdash-bot committed Feb 28, 2023
    Configuration menu
    Copy the full SHA
    415aea2 View commit details
    Browse the repository at this point in the history

  5. identical_zero identical.sub

    @FR-vdash-bot
    FR-vdash-bot committed Feb 28, 2023
    Configuration menu
    Copy the full SHA
    d2e5ec3 View commit details
    Browse the repository at this point in the history

  6. golf

    @FR-vdash-bot
    FR-vdash-bot committed Feb 28, 2023
    Configuration menu
    Copy the full SHA
    f61ce93 View commit details
    Browse the repository at this point in the history

  7. more lemmas

    @FR-vdash-bot
    FR-vdash-bot committed Feb 28, 2023
    Configuration menu
    Copy the full SHA
    371fefb View commit details
    Browse the repository at this point in the history

  8. fix

    @FR-vdash-bot
    FR-vdash-bot committed Feb 28, 2023
    Configuration menu
    Copy the full SHA
    307fe76 View commit details
    Browse the repository at this point in the history

  9. one_mul mul_one

    @FR-vdash-bot
    FR-vdash-bot committed Feb 28, 2023
    Configuration menu
    Copy the full SHA
    ec638b9 View commit details
    Browse the repository at this point in the history

  10. no they are lemmas

    @FR-vdash-bot
    FR-vdash-bot committed Feb 28, 2023
    Configuration menu
    Copy the full SHA
    a0da956 View commit details
    Browse the repository at this point in the history

  11. inv lemmas

    @FR-vdash-bot
    FR-vdash-bot committed Feb 28, 2023
    Configuration menu
    Copy the full SHA
    178d701 View commit details
    Browse the repository at this point in the history

Commits on Mar 1, 2023

  1. lint

    @FR-vdash-bot
    FR-vdash-bot committed Mar 1, 2023
    Configuration menu
    Copy the full SHA
    5e3b560 View commit details
    Browse the repository at this point in the history

  2. fix universes

    @FR-vdash-bot
    FR-vdash-bot committed Mar 1, 2023
    Configuration menu
    Copy the full SHA
    2c75ff7 View commit details
    Browse the repository at this point in the history

  3. docs

    @FR-vdash-bot
    FR-vdash-bot committed Mar 1, 2023
    Configuration menu
    Copy the full SHA
    1b83e5c View commit details
    Browse the repository at this point in the history

Commits on Mar 29, 2023

  1. docs suggestion 

    Co-authored-by: Yaël Dillies <[email protected]>
    @FR-vdash-bot @YaelDillies
    FR-vdash-bot and YaelDillies authored Mar 29, 2023
    Configuration menu
    Copy the full SHA
    51e4766 View commit details
    Browse the repository at this point in the history

  2. docs suggestion

    @FR-vdash-bot
    FR-vdash-bot authored Mar 29, 2023
    Configuration menu
    Copy the full SHA
    272c218 View commit details
    Browse the repository at this point in the history

  3. : (

    @FR-vdash-bot
    FR-vdash-bot authored Mar 29, 2023
    Configuration menu
    Copy the full SHA
    abaff14 View commit details
    Browse the repository at this point in the history

Commits on Mar 30, 2023

  1. suggestion 

    Co-authored-by: Yaël Dillies <[email protected]>
    @FR-vdash-bot @YaelDillies
    FR-vdash-bot and YaelDillies authored Mar 30, 2023
    Configuration menu
    Copy the full SHA
    5677ecc View commit details
    Browse the repository at this point in the history

  2. suggestions

    @FR-vdash-bot
    FR-vdash-bot committed Mar 30, 2023
    Configuration menu
    Copy the full SHA
    0ee1c7f View commit details
    Browse the repository at this point in the history

  3. .exists

    @FR-vdash-bot
    FR-vdash-bot committed Mar 30, 2023
    Configuration menu
    Copy the full SHA
    76a8748 View commit details
    Browse the repository at this point in the history

  4. suggestion 

    Co-authored-by: Yaël Dillies <[email protected]>
    @FR-vdash-bot @YaelDillies
    FR-vdash-bot and YaelDillies authored Mar 30, 2023
    Configuration menu
    Copy the full SHA
    bd9bdba View commit details
    Browse the repository at this point in the history

  5. fix

    @FR-vdash-bot
    FR-vdash-bot committed Mar 30, 2023
    Configuration menu
    Copy the full SHA
    a3529ba View commit details
    Browse the repository at this point in the history