Theorem Prop.exists_iff

Modification history

2026-09-17 12:30
Mathlib/Basic/Logic/Basic.lean
chore(Basic/Logic): deduplicate `Prop.exists` and `Prop.forall` (#43381) …
Deleted Prop.exists_iffView on Github →
2023-06-19 16:31
Mathlib/Logic/Basic.lean
feat: functions eventually constant along filters (#5248) …
Added Prop.exists_iffView on Github →