Skip to content

refactor: Split LinearPMap from Unbounded#1202

Merged
jstoobysmith merged 8 commits into
leanprover-community:masterfrom
gloges:LinearPMap-split
Jun 18, 2026
Merged

refactor: Split LinearPMap from Unbounded#1202
jstoobysmith merged 8 commits into
leanprover-community:masterfrom
gloges:LinearPMap-split

fix imports

61d53a4
Select commit
Loading
Failed to load commit list.
Sign in for the full log view