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

cleanup

94a1e0f
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Verify Transient and Automated Commits
succeeded Jul 21, 2026 in 43s