Mathlib v3 is deprecated. Go to Mathlib v4

Theorem smul_pi

Modification history

2021-09-26 12:40

src/algebra/module/pointwise_pi.lean

feat(algebra/module/pointwise_pi): add a file with lemmas on smul_pi (#9369) …

Added smul_pi View on Github →