2 ms·
QEF? Don't you mean QED?
by doublerabbit 3y ago
QEF? Don't you mean QED?
- 082349872349872 3y agoHaving constructed a specific witness (sufficient for existences) rather than a general argument (necessary for universals), I thought "faciendum" more appropriate than "demonstrandum".
- doublerabbit 3y agoAh, fair enough. I've herd of QED but never QEF. You learn something new everyday.