filter_upwards spacing

Stream: mathlib4

[Yaël Dillies]

@Mario Carneiro, mathport slightly botches the filter_upwards syntax. In #3590 I found filter_upwards [eventually_lt_of_limsup_lt xa hf]with y hy, with the space missing before the with.

[Mario Carneiro]

that would be the fault of the filter_upwards syntax declaration

[Mario Carneiro]

it is probably missing a ppSpace

[Ruben Van de Velde]

Similarly, push_neg at h has two spaces