Skip to main content

Subgroup

structure Subgroup<G: Group> {
    contains: G -> Bool
} constraint {
    subgroup_constraint(contains)
}

A subgroup of a group G, represented as a subset that is closed under the group operations.

GitHub

contains​

Subgroup.contains: (Subgroup<G>, G) -> Bool

True if the given element is a member of this subgroup.