Theorem Set.mapsTo_univ

Modification history

2026-04-21 14:52

Mathlib/Data/Set/Function.lean

feat(Data/Set/Function): make mapsTo_univ a simp lemma (#38287)

Modified Set.mapsTo_univ View on Github →

2022-12-15 04:45

Mathlib/Data/Set/Function.lean

feat: port Data.Set.Function (#1035) …

Added Set.mapsTo_univ View on Github →