DistribMulAction

📁 Source: Mathlib/Algebra/Group/Submonoid/DistribMulAction.lean

Statistics

Metric	Count
Definitions DistribMulAction, distribMulAction, instDistribMulActionSubtypeMem, instMulDistribMulActionSubtypeMem, mulDistribMulAction	5
Theorems	0
Total	5

Submonoid

Definitions

Name	Category	Theorems
distribMulAction 📖	CompOp	—
instDistribMulActionSubtypeMem 📖	CompOp	—
instMulDistribMulActionSubtypeMem 📖	CompOp	—
mulDistribMulAction 📖	CompOp	—

(root)

Definitions

Name	Category	Theorems
DistribMulAction 📖	CompData	—

---

← Back to Index