Theorem: subsetSat (Bml/Semantics.lean)

State before:
X Y : Finset Formula
⊢ Satisfiable X → Y ⊆ X → Satisfiable Y
Tactic:
aesop
State after:
no goals