Theorem IsClosed.and

Modification history

2025-11-14 01:25
Mathlib/Topology/Basic.lean
chore(Order): remove redundant instance fields (#30752) …
Added IsClosed.andView on Github →