Skip to content
agda-unimath CI

For p : ℚ⁺, there is r : ℚ⁺ with r + r < p #8666

Sign in to view logs

For p : ℚ⁺, there is r : ℚ⁺ with r + r < p

For p : ℚ⁺, there is r : ℚ⁺ with r + r < p #8666

pre-commit

pre-commit
succeeded Feb 4, 2025 in 40s