That was a productive flight - I successfully proved the direct product of two groups is a group. Well, for some value of productive.
@acid2 I was reading the modular type classes paper :). I wonder if we have a gate yet...
-
-
@edwinbrady it would appear so!Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@edwinbrady also, loving the engineers technique to problem solving. I.e, apply force.Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.