Skip to content

a couple of properties of the eqivalence relations in Rationals and Q…

b565968
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

Proof of equality that Quo rationals are cubically equal to Rationals #1298

a couple of properties of the eqivalence relations in Rationals and Q…
b565968
Select commit
Loading
Failed to load commit list.

Annotations

1 warning
test-cubical
succeeded Apr 13, 2026 in 3m 17s