simp [record]
α : Type
inst✝ : Hierarchical α
s✝ s₁ s₂ s : State α
rcn₁ rcn₂ : ID
⊢ record (record s rcn₁) rcn₂ = record (record s rcn₂) rcn₁
α : Type
inst✝ : Hierarchical α
s✝ s₁ s₂ s : State α
rcn₁ rcn₂ : ID
⊢ Set.insert rcn₂ (Set.insert rcn₁ s.progress) = Set.insert rcn₁ (Set.insert rcn₂ s.progress)