Weird lemmas shown in docgen

Stream: mathlib4

[Eric Rodriguez]

See, for example, docs#Homeomorph.addLeft.proof_1. I originally found this with docs#continuous_of_continuousAt_zero₂.match_1, I have a feeling the linkifier isn't going to work on that

[Junyan Xu]

Note there aren't mulLeft counterpart of these lemmas. Probably there are some mechanism to delete these auxiliary auto-generated lemmas which doesn't pick up the additivized lemmas.