Theorem Set.restrictPreimage_mk

Modification history

2025-03-20 16:39

Mathlib/Data/Set/Function.lean

chore(Data/Set): split long file `Function.lean` (#23149) …

Modified Set.restrictPreimage_mk View on Github →

2024-07-12 13:34

Mathlib/Data/Set/Function.lean

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

Added Set.restrictPreimage_mk View on Github →