Structures · Algebra
RootPairing.IsG2
A prop-valued typeclass characterising the 𝔤₂ root system.
- Shape
- One type argument · adds exists_pairingIn_neg_three
Extends3
Extended by0
Nothing extends this class yet.
Concrete types that are instances0
No instance on a concrete type; it is reached through other classes.
How is a type an instance?
Loading the hierarchy index…
Assumed by9
- RootPairing.IsG2.exists_pairingIn_neg_three
- RootPairing.IsG2.span_eq_rootSpan_int
- RootPairing.IsG2.nonempty
- RootPairing.IsG2.pairingIn_mem_zero_one_three
- RootPairing.IsG2.card_base_support_eq_two
- RootPairing.IsG2.toEmbeddedG2
- RootPairing.IsG2.toIsValuedIn
- RootPairing.IsG2.toIsReduced
- RootPairing.IsG2.toIsIrreducible