Theorem Prop.forall_iff

Modification history

2023-06-19 16:31
Mathlib/Logic/Basic.lean
feat: functions eventually constant along filters (#5248) …
Added Prop.forall_iffView on Github →