basic): Bottom subgroup has unique element (#9734)

Commit

4 years ago

feat(group_theory/subgroup/basic): Bottom subgroup has unique element (#9734) Adds instance for `unique (⊥ : subgroup G)`.

Author

tb65536

Parents