src/HOL/Complex.thy
changeset 39072 1030b1a166ef
parent 37887 2ae085b07f2f
child 41959 b460124855b8