Theorem Pi.single_mul_right_apply

Modification history

2024-04-29 08:00
Mathlib/Algebra/Group/Pi/Lemmas.lean
chore: Move monoid with zero instances on pi types (#12286) …
Modified Pi.single_mul_right_applyView on Github →
2023-04-23 09:27
Mathlib/Algebra/Group/Pi.lean
feat: `Function.update` is monotone (#3587) …
Added Pi.single_mul_right_applyView on Github →