Skip to content

add instances of `Nat` and `Int` as `Pseudolattice`s, and of `Int` as…

42ff68a
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Open

Instances for Pseudolattice and OrderedCommRing #1271

add instances of `Nat` and `Int` as `Pseudolattice`s, and of `Int` as…
42ff68a
Select commit
Loading
Failed to load commit list.
test-cubical
succeeded Nov 13, 2025 in 37m 3s