3 ms·

I said that if you don't want to use LEM in constructive maths you must also give up AOC, since AOC -> LEM.

• veltas 5y ago
  Oh right. Also hi siraben didn't notice it was you.
  • siraben 5y ago
    Hello! Nice to see another IRCer :)