simpa using System.Axiomatized.axm_subset (maximalConsistentTheory consisT)
α : Type u_1
Δ : Sequent α
T : Theory α
consisT : Consistent T
⊢ maximalConsistentTheory consisT ⊆ theory (maximalConsistentTheory consisT)
no goals