Documentation Verification Report

Synonym

📁 Source: Mathlib/Algebra/Order/GroupWithZero/Action/Synonym.lean

Statistics

Metric	Count
Definitions `instDistribMulAction`, `instDistribMulAction'`, `instDistribSMul`, `instDistribSMul'`, `instMulActionWithZero`, `instMulActionWithZero'`, `instSMulWithZero`, `instSMulWithZero'`, `instDistribMulAction`, `instDistribMulAction'`, `instDistribSMul`, `instDistribSMul'`, `instMulActionWithZero`, `instMulActionWithZero'`, `instSMulWithZero`, `instSMulWithZero'`	16
Theorems	0
Total	16

Lex

Definitions

Name	Category	Theorems
`instDistribMulAction` 📖	CompOp	—
`instDistribMulAction'` 📖	CompOp	—
`instDistribSMul` 📖	CompOp	—
`instDistribSMul'` 📖	CompOp	—
`instMulActionWithZero` 📖	CompOp	—
`instMulActionWithZero'` 📖	CompOp	—
`instSMulWithZero` 📖	CompOp	—
`instSMulWithZero'` 📖	CompOp	—

OrderDual

Definitions

Name	Category	Theorems
`instDistribMulAction` 📖	CompOp	—
`instDistribMulAction'` 📖	CompOp	—
`instDistribSMul` 📖	CompOp	—
`instDistribSMul'` 📖	CompOp	—
`instMulActionWithZero` 📖	CompOp	—
`instMulActionWithZero'` 📖	CompOp	—
`instSMulWithZero` 📖	CompOp	—
`instSMulWithZero'` 📖	CompOp	1 math math: `instOrderedSMul`

---

← Back to Index