Skip to content

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

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

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

Annotations

1 warning

Lint and suggest

succeeded Jul 21, 2026 in 2m 25s