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

Bruhat #7

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

Bruhat #7

wants to merge 13 commits into from

Commits on Feb 10, 2024

  1. WIP on Bruhat order

    @hivert
    hivert committed Feb 10, 2024
    Configuration menu
    Copy the full SHA
    037871f View commit details
    Browse the repository at this point in the history

  2. Before big cleanup

    @hivert
    hivert committed Feb 10, 2024
    Configuration menu
    Copy the full SHA
    99679ee View commit details
    Browse the repository at this point in the history

  3. Characterization of permutation growth matrices

    @hivert
    hivert committed Feb 10, 2024
    Configuration menu
    Copy the full SHA
    eea9d05 View commit details
    Browse the repository at this point in the history

  4. Better notations

    @hivert
    hivert committed Feb 10, 2024
    Configuration menu
    Copy the full SHA
    0cb944e View commit details
    Browse the repository at this point in the history

  5. Proof of is_pmxsumP

    @hivert
    hivert committed Feb 10, 2024
    Configuration menu
    Copy the full SHA
    4651176 View commit details
    Browse the repository at this point in the history

  6. Added Bruhat to _CoqProject

    @hivert
    hivert committed Feb 10, 2024
    Configuration menu
    Copy the full SHA
    48f678e View commit details
    Browse the repository at this point in the history

  7. Minor proof improvements

    @hivert
    hivert committed Feb 10, 2024
    Configuration menu
    Copy the full SHA
    49ec5ad View commit details
    Browse the repository at this point in the history

  8. Documentation in Bruhat

    @hivert
    hivert committed Feb 10, 2024
    Configuration menu
    Copy the full SHA
    df651ce View commit details
    Browse the repository at this point in the history

  9. Generalized n0.+1 -> n when possible

    @hivert
    hivert committed Feb 10, 2024
    Configuration menu
    Copy the full SHA
    c81fc83 View commit details
    Browse the repository at this point in the history

  10. Bruhat Order Symmetry

    @hivert
    hivert committed Feb 10, 2024
    Configuration menu
    Copy the full SHA
    9e6a263 View commit details
    Browse the repository at this point in the history

  11. Minor cleanup

    @hivert
    hivert committed Feb 10, 2024
    Configuration menu
    Copy the full SHA
    e3edd08 View commit details
    Browse the repository at this point in the history

Commits on Feb 11, 2024

  1. Used Order.NatMonotonyTheory.nondecn_inP

    @hivert
    hivert committed Feb 11, 2024
    Configuration menu
    Copy the full SHA
    593ce92 View commit details
    Browse the repository at this point in the history

  2. Added #[local] + proof

    @hivert
    hivert committed Feb 11, 2024
    Configuration menu
    Copy the full SHA
    626b3ec View commit details
    Browse the repository at this point in the history