Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-07-21 01:55 0322d892

View on Github →

refactor(topology/algebra/monoid): changed topological_monoid into has_continuous_mul (#3481)

Estimated changes