GitHub repository: DavidMichaelRoberts/Dedekind_2nd_def
Primary language: TeX
Created: 2024-03-12T00:19:17Z
Description: This is a translation from the original German of an 1889 note from Dedekind's Nachlass, edited by Emmy Noether