細川細川つってるけど、元は三淵氏。
だが三淵氏についてハッキリしない。
尊氏の落胤とか義満の落胤とか。