Theorem Set.SurjOn.image_preimage

Modification history

2026-04-29 14:58
Mathlib/Data/Set/Function.lean
chore(*): remove unnecessary parentheses around `''` and `⁻¹'` (#38626) …
Modified Set.SurjOn.image_preimageView on Github →
2024-02-08 13:29
Mathlib/Data/Set/Function.lean
feat: Add SurjOn.image_preimage (#10342)
Added Set.SurjOn.image_preimageView on Github →