Structures · Algebra
RingConeClass
RingConeClass S R says that S is a type of cones in R.
- Defined in
- Mathlib.Algebra.Order.Ring.Cone
- Shape
- 2 explicit arguments
Extends2
Extended by0
Nothing extends this class yet.
Concrete types that are instances1
- RingCone
How is a type an instance?
Loading the hierarchy index…