Skip to content
Check whitespace

Fix type for ≡-syntax in heterogeneous equality (#2494) #753

Sign in to view logs

Fix type for ≡-syntax in heterogeneous equality (#2494)

Fix type for ≡-syntax in heterogeneous equality (#2494) #753

check-whitespace

check-whitespace
succeeded Oct 7, 2024 in 8s