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

[Merged by Bors] - feat(LinearAlgebra/Matrix): Woodbury Identity #16325

Closed
wants to merge 21 commits into from
Closed

[Merged by Bors] - feat(LinearAlgebra/Matrix): Woodbury Identity #16325

wants to merge 21 commits into from

Commits on Aug 24, 2024

  1. Added Woodbury Identity

    @4hma4d
    4hma4d committed Aug 24, 2024
    Configuration menu
    Copy the full SHA
    7847b49 View commit details
    Browse the repository at this point in the history

  2. Fixed style error

    @4hma4d
    4hma4d committed Aug 24, 2024
    Configuration menu
    Copy the full SHA
    21b4dc7 View commit details
    Browse the repository at this point in the history

Commits on Aug 30, 2024

  1. Added docstring

    @4hma4d
    4hma4d committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    fd0e4ba View commit details
    Browse the repository at this point in the history

  2. update

    @4hma4d
    4hma4d committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    6d19472 View commit details
    Browse the repository at this point in the history

Commits on Sep 4, 2024

  1. Fixed Spacing

    @4hma4d
    4hma4d committed Sep 4, 2024
    Configuration menu
    Copy the full SHA
    af90057 View commit details
    Browse the repository at this point in the history

Commits on Sep 7, 2024

  1. Add missing spaces 

    Co-authored-by: Violeta Hernández <vi.hdz.p@gmail.com>
    @eric-wieser @vihdzp
    eric-wieser and vihdzp authored Sep 7, 2024
    Configuration menu
    Copy the full SHA
    36f5d09 View commit details
    Browse the repository at this point in the history

Commits on Sep 9, 2024

  1. removed noncomputable

    @4hma4d
    4hma4d committed Sep 9, 2024
    Configuration menu
    Copy the full SHA
    2ca03d4 View commit details
    Browse the repository at this point in the history

  2. added spaces

    @4hma4d
    4hma4d committed Sep 9, 2024
    Configuration menu
    Copy the full SHA
    ce41b09 View commit details
    Browse the repository at this point in the history

  3. indentation

    @4hma4d
    4hma4d committed Sep 9, 2024
    Configuration menu
    Copy the full SHA
    711cd00 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'woodbury' of github.com:leanprover-community/mathlib4 i… 

    …nto woodbury
    @4hma4d
    4hma4d committed Sep 9, 2024
    Configuration menu
    Copy the full SHA
    42803d5 View commit details
    Browse the repository at this point in the history

Commits on Sep 11, 2024

  1. Moved lemma

    @4hma4d
    4hma4d committed Sep 11, 2024
    Configuration menu
    Copy the full SHA
    36cfd67 View commit details
    Browse the repository at this point in the history

  2. Added version for nonsingular inverse

    @4hma4d
    4hma4d committed Sep 11, 2024
    Configuration menu
    Copy the full SHA
    09de57d View commit details
    Browse the repository at this point in the history

Commits on Sep 18, 2024

  1. Fixed indentation

    @4hma4d
    4hma4d committed Sep 18, 2024
    Configuration menu
    Copy the full SHA
    2755587 View commit details
    Browse the repository at this point in the history

Commits on Sep 22, 2024

  1. generalize the results to non-commutative rings

    @eric-wieser
    eric-wieser committed Sep 22, 2024
    Configuration menu
    Copy the full SHA
    613c997 View commit details
    Browse the repository at this point in the history

  2. swap Invertible for IsUnit

    @eric-wieser
    eric-wieser committed Sep 22, 2024
    Configuration menu
    Copy the full SHA
    94b7d54 View commit details
    Browse the repository at this point in the history

Commits on Sep 23, 2024

  1. Added Author

    @4hma4d
    4hma4d committed Sep 23, 2024
    Configuration menu
    Copy the full SHA
    2f17c57 View commit details
    Browse the repository at this point in the history

Commits on Sep 24, 2024

  1. Added comment and some spaces

    @4hma4d
    4hma4d committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    99b62db View commit details
    Browse the repository at this point in the history

  2. Added space

    @4hma4d
    4hma4d committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    e6cac70 View commit details
    Browse the repository at this point in the history

  3. Another missing space

    @4hma4d
    4hma4d committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    6b1acd1 View commit details
    Browse the repository at this point in the history

Commits on Sep 26, 2024

  1. Merge remote-tracking branch 'origin/master' into woodbury

    @eric-wieser
    eric-wieser committed Sep 26, 2024
    Configuration menu
    Copy the full SHA
    8a34af5 View commit details
    Browse the repository at this point in the history

  2. fix the deprecations

    @eric-wieser
    eric-wieser committed Sep 26, 2024
    Configuration menu
    Copy the full SHA
    d51e3a9 View commit details
    Browse the repository at this point in the history