mangled docstring for docs4#congrArg

Stream: mathlib4

[Bulhwi Cha]

Source:

This is more powerful than it might look at first, because you can also use a lambda expression for f to prove that <something containing a₁> = <something containing a₂>.

Docs:

This is more powerful than it might look at first, because you can also use a lambda expression for f to prove that = .

GitHub issue: https://github.com/leanprover/doc-gen4/issues/126.

[Eric Wieser]

Looks like we can write arbitrary HTML in the mathlib4 docs