src/HOL/Library/Euclidean_Space.thy
changeset 31563 ded2364d14d4
parent 31538 16068eb224c0
child 31566 eff95000aae7