> Hopefully it isn't too hard to learn how to submit this change via github
I have attempted a pull request fixing the typo—hope it's visible. On Tuesday, March 18th, 2025 at 03:34, Jim Kingdon <[email protected]> wrote: > On 3/17/25 11:47, ducourtial.metamath.monologue534 via Metamath wrote: > >> My name is Adrian Ducourtial, and I would be interested in contributing to >> the Metamath project > > Welcome. > >> As a first, superficial contribution, I have spotted a typo in the >> description of the theorem 4on: It should begin "Ordinal 4..." rather than >> "Ordinal 3...". I'm still learning the whole GitHub flow, however. > > Good catch. > > Hopefully it isn't too hard to learn how to submit this change via github - I > realize it isn't exactly mathematical learning but it is central enough to > this project (and some other mathematical projects too) that submitting this > change via github should be a nice way to get to know the process. -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion visit https://groups.google.com/d/msgid/metamath/174229465609.7.56743730872729625.640934358%40passfwd.com.
