feat(RingTheory/TensorProduct/Pi): add piScalarRight_symm_apply_algebraMap#30611
Closed
smmercuri wants to merge 3 commits intoleanprover-community:masterfrom
Closed
feat(RingTheory/TensorProduct/Pi): add `piScalarRight_symm_apply_algebraMap`#30611smmercuri wants to merge 3 commits intoleanprover-community:masterfrom
smmercuri wants to merge 3 commits intoleanprover-community:masterfrom
Commits
Commits on Oct 16, 2025
Commits on Oct 17, 2025
- committed
- andauthored
