FiniteSupport

📁 Source: Mathlib/Algebra/Notation/FiniteSupport.lean

Statistics

Metric	Count
Definitions	0
Theorems mulSupport_along_fiber_finite_of_finite, support_along_fiber_finite_of_finite	2
Total	2

Function

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
mulSupport_along_fiber_finite_of_finite 📖	mathematical	—	Set.Finite mulSupport	—	Set.Finite.subset Set.Finite.image mulSupport_along_fiber_subset
support_along_fiber_finite_of_finite 📖	mathematical	—	Set.Finite support	—	Set.Finite.subset Set.Finite.image support_along_fiber_subset

---

← Back to Index