Theorem Set.inv_singleton

Modification history

2024-11-25 21:33

Mathlib/Algebra/Group/Pointwise/Set/Basic.lean

chore(Pointwise): rename `image_inv` to `image_inv_eq_inv` (#19480) …

Modified Set.inv_singleton View on Github →

2023-01-10 21:07

Mathlib/Data/Set/Pointwise/Basic.lean

feat: port Data.Set.Pointwise.Basic (#1188) …

Added Set.inv_singleton View on Github →