Commit 2023-11-10 19:19 8c926b7a

View on Github →

Feat (GroupTheory.SpecificGroups.KleinFour): Add the Klein four-group to specific groups. (#7937) Feat: Add the Klein four-group to specific groups.

Estimated changes

added def KleinFour.a
added theorem KleinFour.a_sq
added def KleinFour.b
added theorem KleinFour.b_sq
added def KleinFour.c
added theorem KleinFour.c_sq
added theorem KleinFour.card
added theorem KleinFour.exponent
added theorem KleinFour.nat_card
added theorem KleinFour.notIsCyclic
added theorem KleinFour.orderOf_a
added theorem KleinFour.orderOf_b
added theorem KleinFour.orderOf_c