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

State before:
G : Type
inst✝ : Group G
⊢ isInfFun SubgroupInf
Tactic:
sorry
State after:
no goals