Theorem Set.preimage_restrictPreimage

Modification history

2024-07-12 13:34
Mathlib/Data/Set/Function.lean
feat(Topology): restriction of a `QuotientMap` (#13228) …
Added Set.preimage_restrictPreimageView on Github →