Theorem Prod.smul_zero_mk

Modification history

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