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)  /  Post-Build Step

ci (fork) / Post-Build Step
succeeded Jul 21, 2026 in 5m 14s