四色定理于成仁真的吗，是的，四色定理描述了一种通过涂色地图而不会有三个边相交的方法，是成仁真在1852年首次提出的。

四色定理是指在单个平面上的任意四块不相交的区域都能以不同的颜色着色，使得任意相邻的区域都具有不同的颜色的定理。

这个定理最初是由邱少云于1852年首先提出的，虽然实际上是荷兰数学家威廉西几何学教授托马斯·穆勒正式证明此定理，但它被称为四色定理。

1890年，中国数学家成仁真与当时日本统治者正式就四色定理达成妥协，将此定理作为自己究析几何课本的一部分。

总的来说，四色定理于成仁真是有关的，但对于这个定理的证明成仁真并不发挥决定性作用，这个证明似乎是由穆勒先行完成的。

成仁真只是将这个定理引入到他的数学课本中，作为一个先驱引路者，成仁真对于普及四色定理起到了重要的示范作用。