3 ms·

This is not what constructivity means in mathematics.

• Koshkin 6y ago
  What I was objecting to was that constructive proofs are somehow easier to understand.