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

[Merged by Bors] - feat(set_theory/surreal/dyadic): define add_monoid_hom structure on dyadic map #11052

Closed
wants to merge 11 commits into from
Closed

[Merged by Bors] - feat(set_theory/surreal/dyadic): define add_monoid_hom structure on dyadic map #11052

wants to merge 11 commits into from

Commits on Dec 24, 2021

  1. Add pow_mk and log_mul.

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

  2. Upgrade dyadic_map to add_monoid_hom.

    @apurvnakade
    apurvnakade committed Dec 24, 2021
    Configuration menu
    Copy the full SHA
    863549f View commit details
    Browse the repository at this point in the history

Commits on Dec 26, 2021

  1. Review suggestions.

    @apurvnakade
    apurvnakade committed Dec 26, 2021
    Configuration menu
    Copy the full SHA
    b4ddbf7 View commit details
    Browse the repository at this point in the history

Commits on Jan 3, 2022

  1. Update TODOs.

    @apurvnakade
    apurvnakade committed Jan 3, 2022
    Configuration menu
    Copy the full SHA
    afd1d30 View commit details
    Browse the repository at this point in the history

Commits on Jan 4, 2022

  1. Review suggestions.

    @apurvnakade
    apurvnakade committed Jan 4, 2022
    Configuration menu
    Copy the full SHA
    05c4b1f View commit details
    Browse the repository at this point in the history

  2. Add lift_on_zero lemma.

    @apurvnakade
    apurvnakade committed Jan 4, 2022
    Configuration menu
    Copy the full SHA
    1beaaa4 View commit details
    Browse the repository at this point in the history

Commits on Jan 5, 2022

  1. Rewrite using lift_on_zero.

    @apurvnakade
    apurvnakade committed Jan 5, 2022
    Configuration menu
    Copy the full SHA
    d4c22ee View commit details
    Browse the repository at this point in the history

Commits on Jan 10, 2022

  1. Add dyadic_map_apply

    @apurvnakade
    apurvnakade committed Jan 10, 2022
    Configuration menu
    Copy the full SHA
    635709e View commit details
    Browse the repository at this point in the history

  2. dyadic_map_apply_pow

    @apurvnakade
    apurvnakade committed Jan 10, 2022
    Configuration menu
    Copy the full SHA
    c2ddc70 View commit details
    Browse the repository at this point in the history

Commits on Jan 15, 2022

  1. Add [simp].

    @apurvnakade
    apurvnakade committed Jan 15, 2022
    Configuration menu
    Copy the full SHA
    d7aa25c View commit details
    Browse the repository at this point in the history

  2. Fix simp normal form.

    @apurvnakade
    apurvnakade committed Jan 15, 2022
    Configuration menu
    Copy the full SHA
    49604f9 View commit details
    Browse the repository at this point in the history