PR #994 feat(group_theory/subgroup): is_subgroup.inter

feat(group_theory/subgroup): is_subgroup.inter #994

mergify merged 1 commit into master from is-subgroup-inter

jcommelin requested a review 6 years ago

feat(group_theory/subgroup): is_subgroup.inter

81896423

robertylewis assigned

robertylewis 6 years ago

robertylewis approved these changes on 2019-05-08

robertylewis added ready-to-merge

mergify merged 73a30da3 into master 6 years ago

mergify deleted the is-subgroup-inter branch 6 years ago

Reviewers

robertylewis

Assignees

robertylewis

Labels

ready-to-merge

Milestone

No milestone