Theorem: Tutorial.push_Sup (GlimpseOfLean/Exercises/Topics/GaloisAdjunctions.lean)

State before:
X Y : Type
f : X → Y
t : Set (Topology X)
⊢ f⁎ (Sup t) = Sup (f⁎ '' t)
Tactic:
sorry
State after:
no goals