Theorem Pi.star_apply

Modification history

2025-08-13 04:42

Mathlib/Algebra/Notation/Pi/Defs.lean

chore(Algebra): move some `Star` defs to more appropriate homes (#28252) …

Modified Pi.star_apply View on Github →

2023-01-09 12:38

Mathlib/Algebra/Star/Pi.lean

feat: port Algebra.Star.Pi (#1432)

Added Pi.star_apply View on Github →