Theorem Pi.smul_def

Modification history

2022-12-02 17:02

Mathlib/Data/Pi/Algebra.lean

feat: to_additive can reorder arguments of generated declaration (#818) …

Deleted Pi.smul_def View on Github →

2022-11-28 15:54

Mathlib/Data/Pi/Algebra.lean

feat: port Data.Pi.Algebra (#564) …

Added Pi.smul_def View on Github →