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