Structures · Algebra
GroupConeClass
GroupConeClass 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_one_of_mem_of_inv_mem
Extends1
Extended by0
Nothing extends this class yet.
Concrete types that are instances1
- GroupCone
How is a type an instance?
Loading the hierarchy index…