Topology.Algebra.Monoid !4#2245

Stream: mathlib4

[Moritz Doll]

This one is almost done, two errors left and any help with these would be appreciated.

[Eric Wieser]

I fixed one of them

[Eric Wieser]

Looks like mathport mis-ported docs4#Set.range to docs4#MonoidHom.range

[Eric Wieser]

Fixed the other one too. Can you look over the diff and see if this variables problem came up elsewhere in the file?

[Moritz Doll]

Thanks Eric. No this does not happen anywhere else in the file.