Structures · Algebra
AddGroupConeClass
AddGroupConeClass S G says that S is a type of cones in G.
- Defined in
- Mathlib.Algebra.Order.Group.Cone
- Shape
- 2 explicit arguments · adds eq_zero_of_mem_of_neg_mem
Extends1
Extended by1
Concrete types that are instances1
- AddGroupCone
How is a type an instance?
Loading the hierarchy index…