Skip to content
Ubuntu build

Implement ≤-total in terms of _≤?_ #4054

Sign in to view logs

Implement ≤-total in terms of _≤?_

Implement ≤-total in terms of _≤?_ #4054

test-stdlib

test-stdlib
succeeded Jan 30, 2025 in 39m 58s