Theorem Set.eval_image_pi_of_not_mem

Modification history

2025-05-25 12:30

Mathlib/Data/Set/Prod.lean

chore(*): not_mem/nmem -> notMem (#25159)

Deleted Set.eval_image_pi_of_not_mem View on Github →

2024-06-17 10:24

Mathlib/Data/Set/Prod.lean

feat: `(𝓝[<] x).NeBot` instances for `Prod`, `Pi`, `OrderDual` (#13642)

Added Set.eval_image_pi_of_not_mem View on Github →