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/ordinal/basic): max a 0 = a #13734

Closed
wants to merge 3 commits into from
Closed

[Merged by Bors] - feat(set_theory/ordinal/basic): max a 0 = a #13734

wants to merge 3 commits into from

Commits on Apr 27, 2022

  1. prove thms

    @vihdzp
    vihdzp committed Apr 27, 2022
    Configuration menu
    Copy the full SHA
    0dcc207 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into max_zero

    @vihdzp
    vihdzp committed Apr 27, 2022
    Configuration menu
    Copy the full SHA
    1bda46b View commit details
    Browse the repository at this point in the history

  3. Another one

    @vihdzp
    vihdzp committed Apr 27, 2022
    Configuration menu
    Copy the full SHA
    86b3953 View commit details
    Browse the repository at this point in the history