Theorem Pi.IsSMulRegular.pi

Modification history

2023-04-25 17:50

Mathlib/Algebra/Module/Pi.lean

fix: add missing `_root_` (#3630) …

Deleted Pi.IsSMulRegular.pi View on Github →

2023-01-07 19:13

Mathlib/Algebra/Module/Pi.lean

feat: port Algebra.Module.Pi (#1283) …

Added Pi.IsSMulRegular.pi View on Github →