Theorem Prod.smul_mk_zero

Modification history

2023-08-10 19:52
Mathlib/GroupTheory/GroupAction/Prod.lean
chore: banish `Type _` and `Sort _` (#6499) …
Modified Prod.smul_mk_zeroView on Github →
2022-12-16 11:44
Mathlib/GroupTheory/GroupAction/Prod.lean
feat: Port GroupTheory.GroupAction.Prod (#1056) …
Added Prod.smul_mk_zeroView on Github →