2 ms·
This is a construction. The notion is the same. Not all math need be constructive. This is an implicit bias in most theorem provers.
by anon291 2y ago
This is a construction. The notion is the same. Not all math need be constructive. This is an implicit bias in most theorem provers.