Theorem Set.setOf_app_iff

Modification history

2026-01-01 15:17

Mathlib/Data/Set/Basic.lean

chore: remove June 2025 deprecated declarations (#33429) …

Deleted Set.setOf_app_iff View on Github →

2022-12-12 01:34

Mathlib/Data/Set/Basic.lean

feat: port Data.Set.Basic (#892) …

Added Set.setOf_app_iff View on Github →