Skip to content
agda-unimath CI

For x y : ℚ, x < y if and only if real-ℚ x < real-ℚ y (#1293) #8857

Sign in to view logs

For x y : ℚ, x < y if and only if real-ℚ x < real-ℚ y (#1293)

For x y : ℚ, x < y if and only if real-ℚ x < real-ℚ y (#1293) #8857

link-check

link-check
succeeded Feb 9, 2025 in 1m 2s