Commit 2023-08-22 22:24 46eac943

revert: #5602 (#6717) This reverts commit caa9fe6b612c9064fa2f57cb4842149a0c6f1ff5. "feat: maps between the unitization of a non-unital subalgebra and its Algebra.adjoin (#5602)" This revert exists because the PR was merged before it was finished, and because it will make the diff with the new changes simpler.