Theorem: RegularOpens.cl_int (LeanCourse/Lectures/Lecture11.lean)

State before:
X : Type u_1
inst✝ : TopologicalSpace X
U V : RegularOpens X
⊢ Closeds.int (cl U) = U
Tactic:
sorry
State after:
no goals