src/HOL/Complex.thy
changeset 31001 7e6ffd8f51a9
parent 30960 fec1a04b7220
child 31021 53642251a04f