Skip to content

feat(Order): constructors for DistribLattice and IsModularLattice#41666

Open
alreadydone wants to merge 5 commits into
leanprover-community:masterfrom
alreadydone:DistribLattice_constructors
Open

feat(Order): constructors for DistribLattice and IsModularLattice#41666
alreadydone wants to merge 5 commits into
leanprover-community:masterfrom
alreadydone:DistribLattice_constructors

minor

fed9cc9
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Verify Transient and Automated Commits
succeeded Jul 14, 2026 in 41s