huitseeker

81
Reputation
59 views
Is this your account?

Registered User 

Name huitseeker
Member for 3 years
Seen Nov 6 at 19:06
Website
Location Paris/Orsay, France
Age 30
Graduate student teaching Coq how to do some group theory in the lab with the best coffee around.
1

Questions
4

 

1

Answers
3
References on functorially-defined subgroups

 

16

Votes
16

 

2

Tags


 

7

Badges
● Self-Learner
● Scholar
 ● Teacher
● Supporter
 ● Autobiographer
● Editor
 ● Student