Template:Frexp implication

Using function restriction expressions

This subgroup property implication can be proved by using function restriction expressions for the subgroup properties
View other implications proved this way |read a survey article on the topic