Apparently, this user prefers to keep an air of mystery about them.
2 Catalog of named tautologies oct 10 '11
1 Is there a special term for groups, the only subgroups of which are the trivial group and the group itself? mar 15 '12
1 Inference rules for equality oct 18 '13
0 Normal soluble field towers jan 6 '15