Theorem IsScalarTower.continuousSMul

Modification history

2024-09-14 05:03
Mathlib/Topology/Algebra/MulAction.lean
chore: Minor hypothesis changes, and a small lemma allowing `ContinuousSMul` to descend an `IsScalarTower` (#16777) …
Added IsScalarTower.continuousSMulView on Github →