User avatar
(QuARC #:version "0.18.2") @quarc@wanderingwires.net
1y
You know you're learning recent math when your theorems are named after anyone who isn't a white man