Structures · Algebra
IsKleinFour
A Klein four-group is a group of cardinality four and exponent two.
- Shape
- One type argument · adds card_four, exponent_two
Extends0
Extends nothing: this is a root of the hierarchy.
Extended by0
Nothing extends this class yet.
Concrete types that are instances2
- DihedralGroup
- Multiplicative
How is a type an instance?
Loading the hierarchy index…
Assumed by14
- IsKleinFour.exponent_two
- IsKleinFour.card_four
- IsKleinFour.card_four'
- IsKleinFour.mulEquiv
- IsKleinFour.eq_finset_univ
- IsKleinFour.inv_eq_self
- IsKleinFour.instFinite
- instIsAddKleinFourAdditiveOfIsKleinFour
- IsKleinFour.mulEquiv'
- IsKleinFour.eq_mul_of_ne_all
- IsKleinFour.mul_self
- IsKleinFour.nonempty_mulEquiv
- IsKleinFour.isMulCommutative
- IsKleinFour.not_isCyclic
Ancestors0
No ancestors.