Squeeze lemmas lacks the order of arguments

[IshiguroYoshihiro]

In the statements squeeze_cvge and squeeze_fin,
order of arguments of functions (f, g, h)
differs from squeeze_cvgr.

analysis/theories/normedtype_theory/normed_module.v

Lines 1220 to 1221 in 29f8c57

	Lemma squeeze_cvgr f h g : (\near a, f a <= g a <= h a) ->
	forall (l : R), f @ a --> l -> h @ a --> l -> g @ a --> l.

analysis/theories/normedtype_theory/normed_module.v

Lines 1283 to 1285 in 29f8c57

	Lemma squeeze_fin f g h : (\near a, f a <= g a <= h a) ->
	(\near a, f a \is a fin_num) -> (\near a, h a \is a fin_num) ->
	(\near a, g a \is a fin_num).

analysis/theories/normedtype_theory/normed_module.v

Lines 1292 to 1293 in 29f8c57

	Lemma squeeze_cvge f g h : (\near a, f a <= g a <= h a) ->
	forall (l : \bar R), f @ a --> l -> h @ a --> l -> g @ a --> l.