Structures · Data types
SProd
Notation type class for the set product ×ˢ.
- Defined in
- Mathlib.Data.SProd
- Shape
- 3 explicit arguments · adds sprod
Extends0
Extends nothing: this is a root of the hierarchy.
Extended by0
Nothing extends this class yet.
Concrete types that are instances13
- TopologicalSpace.NonemptyCompacts
- UpperSet
- LowerSet
- TopologicalSpace.Compacts
- TopologicalSpace.Closeds
- TopologicalSpace.Clopens
- TopologicalSpace.CompactOpens
- TopologicalSpace.PositiveCompacts
- List
- Set
- Multiset
- Finset
- Filter
How is a type an instance?
Loading the hierarchy index…
Assumed by1
Ancestors0
No ancestors.