Instances

📁 Source: Mathlib/RingTheory/TwoSidedIdeal/Instances.lean

Statistics

Metric	Count
Definitions	0
Theorems instNonUnitalSubringClassTwoSidedIdeal	1
Total	1

(root)

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
instNonUnitalSubringClassTwoSidedIdeal 📖	mathematical	—	NonUnitalSubringClass TwoSidedIdeal TwoSidedIdeal.setLike	—	AddSubgroupClass.toAddSubmonoidClass TwoSidedIdeal.instAddSubgroupClass TwoSidedIdeal.mul_mem_left AddSubgroupClass.toNegMemClass

---

← Back to Index