Theorem TopologicalSpace.Opens.IsBasis.le_iff

Modification history

2024-07-26 10:22

Mathlib/Topology/Sets/Opens.lean

feat(RingTheory): Surjective on stalks ring homomorphisms. (#14377)

Added TopologicalSpace.Opens.IsBasis.le_iff View on Github →