3 ms·
Surely a practical benefit can come from this result being used in other proofs/systems, which then have real-world impact?
by MauranKilom 6y ago
Surely a practical benefit can come from this result being used in other proofs/systems, which then have real-world impact?
- jacobolus 6y agoYes, this result will be used to save a few printed symbols each time the topic comes up in future mathematics papers, and the beauty of the slightly simpler mathematical expressions will spark joy in mathematicians reading them.