mathlib3

feat(group_theory/subgroup): is_subgroup.inter

#994

Merged