Theorem Pi.smul_def'

Modification history

2024-08-12 20:23
Mathlib/Algebra/Group/Action/Pi.lean
feat(StrongTopology): generalize `ContinuousLinearMap.restrictScalarsL` (#15285)
Added Pi.smul_def'View on Github →