DavidMichaelRoberts / Dedekind_2nd_def

This is a translation from the original German of an 1889 note from Dedekind's Nachlass, edited by Emmy Noether
2 stars 3 forks source link

Theorem/paragraph labelling #1

Open DavidMichaelRoberts opened 6 months ago

DavidMichaelRoberts commented 6 months ago

Get the Theorem environments, and by extension the paragraphs, to start with the number first.

Bonus is getting the punctuation to work.

DavidMichaelRoberts commented 5 months ago

Theorem labels done in #6 .

The paragraph 30 needs to be numbered sequentially with the theorems, so that what is currently Theorem 30 should in fact be Theorem 31.