Theorem: Regex.Data.SparseSet.subset_self (RegexCorrectness/Data/SparseSet.lean)

State before:
n : Nat
s : SparseSet n
⊢ s ⊆ s
Tactic:
simp [HasSubset.Subset, Subset]
State after:
no goals