Skip to content

feat(Algebra): IsUnital and IsNotUnital classes#41923

Open
themathqueen wants to merge 5 commits into
leanprover-community:masterfrom
themathqueen:IsUnital
Open

feat(Algebra): IsUnital and IsNotUnital classes#41923
themathqueen wants to merge 5 commits into
leanprover-community:masterfrom
themathqueen:IsUnital

Commits

Commits on Jul 19, 2026

Commits on Jul 20, 2026

Commits on Jul 21, 2026