Skip to content

refactor(LinearAlgebra/Matrix/SesquilinearForm): Sesquilinear Maps and Scalar Matrices#9353

Closed
mans0954 wants to merge 157 commits intomasterfrom
mans0954/SesquilinearMaps-ScalarMatrix
Closed

refactor(LinearAlgebra/Matrix/SesquilinearForm): Sesquilinear Maps and Scalar Matrices#9353
mans0954 wants to merge 157 commits intomasterfrom
mans0954/SesquilinearMaps-ScalarMatrix

Conversation

@mans0954
Copy link
Copy Markdown
Collaborator

@mans0954 mans0954 commented Dec 30, 2023

@mans0954 mans0954 added the WIP Work in progress label Dec 30, 2023
@ghost ghost added the blocked-by-other-PR This PR depends on another PR (this label is automatically managed by a bot) label Dec 30, 2023
@ghost ghost added the merge-conflict The PR has a merge conflict with master, and needs manual merging. (this label is managed by a bot) label Jul 19, 2024
@ghost ghost removed the merge-conflict The PR has a merge conflict with master, and needs manual merging. (this label is managed by a bot) label Jul 19, 2024
@leanprover-community-bot-assistant leanprover-community-bot-assistant added the merge-conflict The PR has a merge conflict with master, and needs manual merging. (this label is managed by a bot) label Nov 12, 2024
@leanprover-community-bot-assistant leanprover-community-bot-assistant removed the merge-conflict The PR has a merge conflict with master, and needs manual merging. (this label is managed by a bot) label Nov 22, 2024
@leanprover-community-bot-assistant leanprover-community-bot-assistant added the merge-conflict The PR has a merge conflict with master, and needs manual merging. (this label is managed by a bot) label May 7, 2025
@leanprover-community-bot-assistant
Copy link
Copy Markdown
Collaborator

This pull request has conflicts, please merge master and resolve them.

@mans0954
Copy link
Copy Markdown
Collaborator Author

mans0954 commented May 7, 2025

I'm not actively working on this PR as we've found other/better ways of achieving what I was trying to do so closing.

@mans0954 mans0954 closed this May 7, 2025
@YaelDillies YaelDillies deleted the mans0954/SesquilinearMaps-ScalarMatrix branch August 15, 2025 16:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

merge-conflict The PR has a merge conflict with master, and needs manual merging. (this label is managed by a bot) t-algebra Algebra (groups, rings, fields, etc) WIP Work in progress

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants