We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
From https://leanprover-community.github.io/mathlib_docs/data/monoid_algebra.html#monoid_algebra.mul_apply.
This is meant to say \u=(f * g) x but the wrong newline after * makes it look like \u=(f * x = g).
\u=(f * g) x
\u=(f * x = g)
See https://leanprover.zulipchat.com/#narrow/stream/113488-general/topic/doc-gen.20wrong.20newline.20in.20brackets
(Edit: This is produced on a Chrome browser on Windows 10.)
The text was updated successfully, but these errors were encountered:
Style tweaks. (#89)
876a69b
Closes #81
Successfully merging a pull request may close this issue.
From https://leanprover-community.github.io/mathlib_docs/data/monoid_algebra.html#monoid_algebra.mul_apply.
This is meant to say
\u=(f * g) xbut the wrong newline after * makes it look like\u=(f * x = g).See https://leanprover.zulipchat.com/#narrow/stream/113488-general/topic/doc-gen.20wrong.20newline.20in.20brackets
(Edit: This is produced on a Chrome browser on Windows 10.)
The text was updated successfully, but these errors were encountered: