[β]
β
bitchan
[?] help
π
host1.bitchan.one
π
@9A8~oXja
β±
1w seen
β
0
π
0
β§
1
π hide
send βΏitcoin
[!] follow
[@] review
posts 1
/ 1
[β₯] sort oldest
β±
filter [-]
languages:
on
other
/science
Stupid question perhaps but: doesn't it already require the axiom of choice to pick a representative from an infinite quotient set? I would suppose you don't always have to (see for example the standard construction of the rational numbers from Z^2, since you can just pick the element with the smallest nonnegative denominator) but I wouldn't be able to give a general answer.
β±
1w
β©