src/HOL/Complex.thy
changeset 67022 49309fe530fd
parent 66793 deabce3ccf1f
child 67082 4e4bea76e559