2 ms·
Interesting. Indeed, proving theorems that are stronger and more general "accidentally" than what you really need is not a bad thing.
by make3 21d ago
Interesting. Indeed, proving theorems that are stronger and more general "accidentally" than what you really need is not a bad thing.