Mathematics Stack Exchange
Mathematics Stack Exchange

Jonathan Sterling
319
reputation
  • Aarhus, DK
  • Member since October 26 2010
  • 118 profile views
  • Last seen Jul 11 '25 at 14:09

type theorist