Skip to content
Back to pull request #41923

[Merged by Bors] - feat(Algebra): IsUnital and IsNotUnital classes #313880

Sign in to view logs

[Merged by Bors] - feat(Algebra): IsUnital and IsNotUnital classes

[Merged by Bors] - feat(Algebra): IsUnital and IsNotUnital classes #313880

ci (fork)  /  Build

ci (fork) / Build
succeeded Jul 21, 2026 in 40m 52s