Doc site is not rendering equations of probability theory
linonetwo opened this issue · comments
I'm reading https://leanprover-community.github.io/mathlib4_docs/Mathlib/Probability/Notation.html#ProbabilityTheory.%C2%ABterm%F0%9D%94%BC[_|_]%C2%BB to help me learn probability theory.
But it says
One or more equations did not get rendered due to their size.
I hope this site can work like a wiki (maybe it should have been like that?) that render the concepts, and the def of concepts, and I may click on ∫ to go to defination of it to understand it better.
Use GPT4 to explain the code solves this.