Template:Frexp-short


 * left side of function restriction expression:: $$\to$$ right side of function restriction expression:: || every of $$G$$ restricts to   of $$H$$