Skip to main content
8 events
when toggle format what by license comment
Apr 23 at 12:00 history edited Nike Dattani CC BY-SA 4.0
added 132 characters in body
Mar 7 at 15:32 comment added John If I'd have known it was transitory, I wouldn't have bothered asking the question. :)
Mar 7 at 15:30 vote accept John
Mar 7 at 4:11 answer added TreborMod timeline score: 0
Mar 7 at 4:09 comment added Trebor Mod You should have screenshotted the bad rendering, because now I only see two perfectly rendered formulas side by side :(
Mar 7 at 4:07 history migrated from proofassistants.stackexchange.com (revisions)
Mar 6 at 17:15 comment added John Well...that's embarrassing. 45 minutes ago, when I wrote this, the math-processing was removing the brackets on the set, and putting the case-expression all on one line with no line-breaks. Maybe this was a javascript glitch or something. I'm leaving this here in hopes that someone can explain the kind of junk I was seeing.
Mar 6 at 16:26 history asked John CC BY-SA 4.0