Skip to content

Fix lt in ZFRat on v4.31.0 - #5

Merged
VTrelat merged 2 commits into
mainfrom
v4.31.0
Jul 9, 2026
Merged

Fix lt in ZFRat on v4.31.0#5
VTrelat merged 2 commits into
mainfrom
v4.31.0

feat: add LinearOrder and order-ring compatibility instances for ZFRat

831ac45
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar