Darij Grinberg

icon indicating a website link https://darijgrinberg.gitlab.io/

icon company Drexel University icon location Philadelphia, US / Karlsruhe, DE icon location Mathematician (assistant professor) at Drexel University.

Results 5 comments of Darij Grinberg

further corrections(?)

@gares Done what you said. Now this branch has the relatively straightforward edits, whereas the implicit argument rewrite is at https://github.com/darijgr/mcb/tree/sugg2b .

Theorem ELIS: maybe you want a corollary for basis expansion

I am not sure about its usefulness as an exercise -- the subtle need for applying SSLD is too easy to miss, and at this level students (in my limited...

Theorems DER, DT and DEC would be easier to prove if switched in order

Not a big deal -- I just spent an hour or so looking through the text a year ago (I decided against using it in my class mainly because of...

Improve article 2109.02101: xymatrix output cropped

Here is what I see on Brave: ![screen-ar5iv-1](https://github.com/dginev/ar5iv/assets/8042045/85e5533b-066a-4ab7-9fce-4cdabb4ab6fc) (Brave on Windows. ScriptSafe active but *.arxiv.org allowed.)

Improve article 2109.02101: xymatrix output cropped

Ah, it's a Dark Mode issue. Wow.