search

MHenderson / room

A book about Room squares.
0 stars 0 forks source link

Replace old Markdown notation #96

Closed MHenderson closed 7 months ago

MHenderson commented 7 months ago

Replace some old Markdown emphasis in the proof of Lemma 11 with our inlinedef macro.