Theorem forall_imp_iff_exists_imp'

Modification history

2026-02-21 23:47
MathlibTest/TacticAnalysis.lean
chore: weekly lints for 2026-02-16 (#35490) …
Added forall_imp_iff_exists_imp'View on Github →