Skip to content
Check whitespace

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

Sign in to view logs

Implement ≤-total in terms of _≤?_

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

check-whitespace

check-whitespace
succeeded Jan 30, 2025 in 7s