Mathematics Stack Exchange
Mathematics Stack Exchange

Prime Mover
5,005
reputation
  • Reading, UK
  • Member since July 24 2017
  • 977 profile views
  • Last seen Apr 06 '24 at 21:10

I do some stuff on ProofWiki from time to time.