Skip to content
agda-unimath CI

For x y : ℚ, x < y if and only if real-ℚ x < real-ℚ y #8839

Sign in to view logs

For x y : ℚ, x < y if and only if real-ℚ x < real-ℚ y

For x y : ℚ, x < y if and only if real-ℚ x < real-ℚ y #8839

This job was cancelled