src/HOL/Equiv_Relations.thy
changeset 54667 4dd08fe126ba
parent 51112 da97167e03f7
child 54744 1e7f2d296e19