The following thirteen(!) users: goingfullscheme valua_aint_no_galois going-full-isomorphic logicians_rule, martintzar royalroadtogeometry bundlist compactbut faptoint you_dont_mess_with_ron ron_is_striking_back Emmy_to_Noether commutative_drinker (and, I believe, a couple more besides) have ...