src/HOL/Library/Diagonal_Subsequence.thy
changeset 50516 ed6b40d15d1c
parent 50087 635d73673b5e
child 51526 155263089e7b