Theorem IsClosed.iInter_closure_mul_left_eq

Modification history

2026-08-19 02:29
Mathlib/Topology/Algebra/Group/Pointwise.lean
feat(Topology/Semicontinuity/Michael): michael's selection theorem (#39116) …
Added IsClosed.iInter_closure_mul_left_eqView on Github →