Skip to content
Back to pull request #5602

[Merged by Bors] - feat: maps between the unitization of a non-unital subalgebra and its Algebra.adjoin #18000

Sign in to view logs

[Merged by Bors] - feat: maps between the unitization of a non-unital subalgebra and its Algebra.adjoin

[Merged by Bors] - feat: maps between the unitization of a non-unital subalgebra and its Algebra.adjoin #18000

The logs for this run have expired and are no longer available.