Commit 2024-11-13 15:42 4ab193f8
View on Github →feat: add imp_forall_iff_forall (#18455) A simp lemma for quantifier manipulation. The basic case, which currently is not simp, is (A -> A -> B) <-> (A -> B)
feat: add imp_forall_iff_forall (#18455) A simp lemma for quantifier manipulation. The basic case, which currently is not simp, is (A -> A -> B) <-> (A -> B)