Skip to main content
MathOverflow
user347155's user avatar
user347155's user avatar
user347155's user avatar
user347155
  • Member for 3 years, 3 months
  • Last seen more than 3 years ago
Profile Activity

8 Actions

All Accepts Posts Badges Comments Revisions Reviews Suggestions
awarded
 Popular Question
awarded
 Nice Question
awarded
 Supporter
awarded
 Scholar
accepted
Why are W-types called "W"?
comment
Why are W-types called "W"?
@AndrejBauer You say W-types are orders? I would say they are types.
awarded
 Student
asked
Why are W-types called "W"?