Theorem Set.restrictPreimage_mk

Modification history

2024-07-12 13:34

Mathlib/Data/Set/Function.lean

feat(Topology): restriction of a `QuotientMap` (#13228) …

Added Set.restrictPreimage_mk View on Github →