src/HOL/Equiv_Relations.thy
changeset 23243 a37d3e6e8323
parent 21749 3f0e86c92ff3
child 23705 315c638d5856