Pointwise actions on sets in Pi types #
This file contains lemmas about pointwise actions on sets in Pi types.
Tags #
set multiplication, set addition, pointwise addition, pointwise multiplication, pi
Mathlib.Algebra.Module.PointwisePi
This file contains lemmas about pointwise actions on sets in Pi types.
set multiplication, set addition, pointwise addition, pointwise multiplication, pi