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

refactor(set_theory/game/*): remove relabelling #18518

Open
wants to merge 12 commits into
base: master
Choose a base branch
from
Open

refactor(set_theory/game/*): remove relabelling #18518

wants to merge 12 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. refactor(set_theory/game/*): remove relabelling

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