Want site search autocompletion? See here Encountering 429 Too Many Requests errors when browsing the site? See here
| {{{1}}} → {\displaystyle \to } {{{1}}} || every {{{1}}} of G {\displaystyle G} restricts to a {{{1}}} of H {\displaystyle H} || the balanced subgroup property for {{{1}}}s || Hence, it is a t.i. subgroup property, both transitive and identity-true
