chore(RingTheory/AdicCompletion): make AdicCompletion.map linear on linear maps#38324
Open
BryceT233 wants to merge 6 commits intoleanprover-community:masterfrom
Open
chore(RingTheory/AdicCompletion): make AdicCompletion.map linear on linear maps#38324BryceT233 wants to merge 6 commits intoleanprover-community:masterfrom
AdicCompletion.map linear on linear maps#38324BryceT233 wants to merge 6 commits intoleanprover-community:masterfrom
Commits
Commits on Apr 21, 2026
- authored
- authored
- authored
![pre-commit-ci-lite[bot]](https://avatars.githubusercontent.com/in/257897?v=4&size=32){kind=avatar}