jorty (deprecated aspect) is a user on octodon.social. You can follow them or interact with them if you have an account anywhere in the fediverse.
If you don't, you can sign up here.
You know you’re talking to a mathematician when these phrases are used excessively:
- “by definition”
- “from this”
- “thus”
- “and so”
- “as such”
- “thereby”
- “we can conclude”
@jordyd actually this is almost a template for a short lemma
