Small

📁 Source: Mathlib/Algebra/Group/Pointwise/Set/Small.lean

Statistics

Metric	Count
Definitions	0
Theorems small_add, small_div, small_mul, small_neg, small_set_one, small_set_zero, small_sub	7
Total	7

(root)

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
small_add 📖	mathematical	—	Small Set.Elem Set Set.add	—	small_image2
small_div 📖	mathematical	—	Small Set.Elem Set Set.div	—	small_image2
small_mul 📖	mathematical	—	Small Set.Elem Set Set.mul	—	small_image2
small_neg 📖	mathematical	—	Small Set.Elem Set Set.neg InvolutiveNeg.toNeg	—	Set.image_neg_eq_neg small_image
small_set_one 📖	mathematical	—	Small Set.Elem Set Set.one	—	small_single
small_set_zero 📖	mathematical	—	Small Set.Elem Set Set.zero	—	small_single
small_sub 📖	mathematical	—	Small Set.Elem Set Set.sub	—	small_image2

---

← Back to Index