Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-05-20 15:36 8cf7c4c8

View on Github →

chore(topology/algebra/monoid): continuous_mul_left/right (#1065)

Estimated changes

added theorem continuous_mul_left
added theorem continuous_mul_right