src/HOL/Library/Fin_Fun.thy
changeset 31563 ded2364d14d4
parent 31486 bee3b47e1516
child 31633 ea47e2b63588