Set

📁 Source: Mathlib/Algebra/Ring/Pointwise/Set.lean

Statistics

Metric	Count
Definitions hasDistribNeg	1
Theorems add_mul_subset, mul_add_subset	2
Total	3

Set

Definitions

Name	Category	Theorems
hasDistribNeg 📖	CompOp	—

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
add_mul_subset 📖	mathematical	—	Set instHasSubset mul Distrib.toMul add Distrib.toAdd	—	image2_distrib_subset_right add_mul Distrib.rightDistribClass
mul_add_subset 📖	mathematical	—	Set instHasSubset mul Distrib.toMul add Distrib.toAdd	—	image2_distrib_subset_left mul_add Distrib.leftDistribClass

---

← Back to Index