Documentation Verification Report

Synonym

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

Statistics

MetricCount
DefinitionsinstDistribMulAction, instDistribMulAction', instDistribSMul, instDistribSMul', instMulActionWithZero, instMulActionWithZero', instSMulWithZero, instSMulWithZero', instDistribMulAction, instDistribMulAction_1, instDistribSMul, instDistribSMul_1, instMulActionWithZero, instMulActionWithZero_1, instSMulWithZero, instSMulWithZero_1, instSMulZeroClass, instSMulZeroClass_1
18
Theorems0
Total18

Lex

Definitions

NameCategoryTheorems
instDistribMulAction 📖CompOp—
instDistribMulAction' 📖CompOp—
instDistribSMul 📖CompOp—
instDistribSMul' 📖CompOp—
instMulActionWithZero 📖CompOp—
instMulActionWithZero' 📖CompOp—
instSMulWithZero 📖CompOp—
instSMulWithZero' 📖CompOp—

OrderDual

Definitions

NameCategoryTheorems
instDistribMulAction 📖CompOp—
instDistribMulAction_1 📖CompOp—
instDistribSMul 📖CompOp—
instDistribSMul_1 📖CompOp—
instMulActionWithZero 📖CompOp—
instMulActionWithZero_1 📖CompOp—
instSMulWithZero 📖CompOp—
instSMulWithZero_1 📖CompOp—
instSMulZeroClass 📖CompOp—
instSMulZeroClass_1 📖CompOp—

---

← Back to Index