Skip to content

Commit

Permalink
Migration theory commit
Browse files Browse the repository at this point in the history
  • Loading branch information
sjcjoosten committed Sep 24, 2023
1 parent f5d3ff0 commit a4b57e1
Showing 1 changed file with 2 additions and 3 deletions.
5 changes: 2 additions & 3 deletions 2022Migration/thy/Migration.thy
View file
Original file line number Diff line number Diff line change
Expand Up @@ -584,8 +584,7 @@ proof(standard)
then show "violation_mapped f u (filter_with_labelset (relevant_mapped f u) g) =
violation_mapped f u g" by (auto simp:map_filter[OF inj2])
qed
end


end

end
end

0 comments on commit a4b57e1

Please sign in to comment.