Skip to content
Check whitespace

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

Sign in to view logs

Implement ≤-total in terms of _≤?_

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

check-whitespace

check-whitespace
succeeded Jan 30, 2025 in 4s