Use display math mode instead of inline mode for set axioms
Remove trailing whitespace
I didn't update the formatting for the axiom of infinity because I don't know what's the project's preferred environment for multiline math, but that one is also typeset incorrectly.
rzach
commented
1 year ago
I didn't update the formatting for the axiom of infinity because I don't know what's the project's preferred environment for multiline math, but that one is also typeset incorrectly.